|
|
|
|
| LEADER |
00000cam a22000004a 4500 |
| 001 |
8126789 |
| 003 |
ICU |
| 005 |
20110503190500.0 |
| 008 |
090709s2010 enka b 001 0 eng |
| 010 |
|
|
|a 2009026282
|
| 020 |
|
|
|a 9781848211438
|
| 020 |
|
|
|a 1848211430
|
| 035 |
|
|
|a 8126789
|
| 035 |
|
|
|a 2009026282
|
| 035 |
|
|
|a (OCoLC)424454754
|
| 040 |
|
|
|a DLC
|c DLC
|d BWKUK
|d UKM
|d BWX
|d YDXCP
|d CDX
|d UtOrBLW
|
| 041 |
1 |
|
|a eng
|h fre
|
| 050 |
0 |
0 |
|a TK7895.E42
|b A387 2010
|
| 082 |
0 |
0 |
|a 621.39/2
|2 22
|
| 130 |
0 |
|
|a Approches formelles des systèmes embarqués communicants.
|l English.
|
| 245 |
1 |
0 |
|a Communicating embedded systems :
|b software and design : formal methods /
|c edited by Claude Jard, Olivier H. Roux.
|
| 260 |
|
|
|a London :
|b Iste ;
|a Hoboken, NJ :
|b ohn Wiley and Sons,
|c 2010.
|
| 300 |
|
|
|a xii, 261 p. :
|b ill. ;
|c 25 cm.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|0 http://id.loc.gov/vocabulary/contentTypes/txt
|
| 337 |
|
|
|a unmediated
|b n
|2 rdamedia
|0 http://id.loc.gov/vocabulary/mediaTypes/n
|
| 338 |
|
|
|a volume
|b nc
|2 rdacarrier
|0 http://id.loc.gov/vocabulary/carriers/nc
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 650 |
|
0 |
|a Embedded computer systems
|x Programming.
|0 http://id.loc.gov/authorities/subjects/sh87006633
|
| 650 |
|
0 |
|a Embedded computer systems
|x Design and construction.
|0 http://id.loc.gov/authorities/subjects/sh2008119360
|
| 650 |
|
0 |
|a Computer software
|x Development.
|0 http://id.loc.gov/authorities/subjects/sh85029535
|
| 650 |
|
0 |
|a Formal methods (Computer science)
|0 http://id.loc.gov/authorities/subjects/sh99003622
|
| 650 |
|
7 |
|a Computer software
|x Development.
|2 fast
|0 http://id.worldcat.org/fast/fst00872537
|
| 650 |
|
7 |
|a Embedded computer systems
|x Design and construction.
|2 fast
|0 http://id.worldcat.org/fast/fst00908300
|
| 650 |
|
7 |
|a Embedded computer systems
|x Programming.
|2 fast
|0 http://id.worldcat.org/fast/fst00908303
|
| 650 |
|
7 |
|a Formal methods (Computer science)
|2 fast
|0 http://id.worldcat.org/fast/fst00932926
|
| 700 |
1 |
|
|a Jard, Claude.
|0 http://id.loc.gov/authorities/names/nb2008019571
|1 http://viaf.org/viaf/79137857
|
| 700 |
1 |
|
|a Roux, Olivier H.
|0 http://id.loc.gov/authorities/names/n2009042357
|1 http://viaf.org/viaf/79250187
|
| 903 |
|
|
|a HeVa
|
| 929 |
|
|
|a cat
|
| 999 |
f |
f |
|i 85cde764-508e-512f-b53d-1c96e2af9ade
|s 6559d1b1-9941-58a4-83fa-29f4a6e6d1f6
|
| 928 |
|
|
|t Library of Congress classification
|a TK7895.E42 A387 2010
|l JCL
|c JCL-Sci
|i 1122069
|
| 927 |
|
|
|t Library of Congress classification
|a TK7895.E42 A387 2010
|l JCL
|c JCL-Sci
|e DOWL
|e CRERAR
|b 099609956
|i 8805122
|
