Communicating embedded systems : software and design : formal methods / / edited by Claude Jard, Olivier H. Roux.
Saved in:
: | |
---|---|
TeilnehmendeR: | |
Year of Publication: | 2010 |
Language: | English French |
Online Access: | |
Physical Description: | xii, 261 p. :; ill. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
LEADER | 01635nam a2200421 a 4500 | ||
---|---|---|---|
001 | 5001124321 | ||
003 | MiAaPQ | ||
005 | 20200520144314.0 | ||
006 | m o d | | ||
007 | cr cn||||||||| | ||
008 | 090709s2010 enka sb 001 0 eng d | ||
010 | |z 2009026282 | ||
020 | |z 9781848211438 | ||
020 | |a 9781118600122 (electronic bk.) | ||
035 | |a (MiAaPQ)5001124321 | ||
035 | |a (Au-PeEL)EBL1124321 | ||
035 | |a (CaPaEBR)ebr10658441 | ||
035 | |a (CaONFJC)MIL449995 | ||
035 | |a (OCoLC)828298965 | ||
040 | |a MiAaPQ |c MiAaPQ |d MiAaPQ | ||
041 | 1 | |a eng |h fre | |
050 | 4 | |a TK7895.E42 |b A387 2010 | |
082 | 0 | 4 | |a 621.39/2 |2 22 |
130 | 0 | |a Approches formelles des systemes embarques communicants. |l English. | |
245 | 1 | 0 | |a Communicating embedded systems |h [electronic resource] : |b software and design : formal methods / |c edited by Claude Jard, Olivier H. Roux. |
260 | |a London : |b ISTE ; |a Hoboken, N.J. : |b Wiley, |c 2010. | ||
300 | |a xii, 261 p. : |b ill. | ||
504 | |a Includes bibliographical references and index. | ||
533 | |a Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. | ||
650 | 0 | |a Embedded computer systems |x Programming. | |
650 | 0 | |a Embedded computer systems |x Design and construction. | |
650 | 0 | |a Computer software |x Development. | |
650 | 0 | |a Formal methods (Computer science) | |
655 | 4 | |a Electronic books. | |
700 | 1 | |a Jard, Claude. | |
700 | 1 | |a Roux, Olivier H. | |
710 | 2 | |a ProQuest (Firm) | |
856 | 4 | 0 | |u https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=1124321 |z Click to View |