|
|
|
|
| LEADER |
00820nam a2200217 a 4500 |
| 001 |
538883 |
| 005 |
20171111230003.0 |
| 008 |
040826s2004 mauab sb 000 0 eng d |
| 020 |
|
|
|a 1402079974 (electronic bk.)
|
| 040 |
|
|
|a N$T
|
| 050 |
1 |
4 |
|a QA76.9.D5
|b F6625 2004eb
|
| 082 |
1 |
4 |
|2 22
|a 005.1
|
| 245 |
1 |
4 |
|a Formal methods for embedded distributed systems
|b how to master the complexity /
|c edited by Fabrice Kordon and Michel Lemoine.
|
| 260 |
1 |
4 |
|a Boston :
|b Kluwer Academic,
|c c2004.
|
| 300 |
1 |
4 |
|a xx, 263 p. :
|b ill., 1 map ;
|c 25 cm.
|
| 504 |
1 |
4 |
|a Includes bibliographical references.
|
| 650 |
1 |
4 |
|a Electronic data processing
|x Distributed processing
|
| 650 |
1 |
4 |
|a Embedded computer systems
|
| 700 |
1 |
4 |
|a Kordon, Fabrice
|
| 710 |
2 |
4 |
|a NetLibrary, Inc.
|
| 952 |
|
|
|a GrThPMO
|b 59b006f76c5ad17d7e5a9b28
|c 952a
|d 9528
|e E-Books
|t 6
|x er
|z E-resources
|
