Communicating embedded systems software and design : formal methods
(eBook)
Contributors
Published
London : Hoboken, N.J. : ISTE ; Wiley, 2010.
Physical Desc
xii, 261 pages : ill.
Status
More Details
Format
eBook
Language
English
Notes
Bibliography
Includes bibliographical references and index.
Reproduction
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Description
Loading Description...
Also in this Series
Checking series information...
Citations
APA Citation, 7th Edition (style guide)
Jard, C., & Roux, O. H. (2010). Communicating embedded systems: software and design : formal methods . ISTE ; Wiley.
Chicago / Turabian - Author Date Citation, 17th Edition (style guide)Jard, Claude and Olivier H. Roux. 2010. Communicating Embedded Systems: Software and Design : Formal Methods. ISTE ; Wiley.
Chicago / Turabian - Humanities (Notes and Bibliography) Citation, 17th Edition (style guide)Jard, Claude and Olivier H. Roux. Communicating Embedded Systems: Software and Design : Formal Methods ISTE ; Wiley, 2010.
MLA Citation, 9th Edition (style guide)Jard, Claude., and Olivier H Roux. Communicating Embedded Systems: Software and Design : Formal Methods ISTE ; Wiley, 2010.
Note! Citations contain only title, author, edition, publisher, and year published. Citations should be used as a guideline and should be double checked for accuracy. Citation formats are based on standards as of August 2021.
Staff View
Grouped Work ID
9ed90448-d0a3-7cab-32bb-2f3fa3246fe8-eng
Grouping Information
| Grouped Work ID | 9ed90448-d0a3-7cab-32bb-2f3fa3246fe8-eng |
|---|---|
| Full title | communicating embedded systems software and design formal methods |
| Author | claude jard olivier h roux |
| Grouping Category | book |
| Last Update | 2022-06-07 21:23:19PM |
| Last Indexed | 2024-05-11 04:51:29AM |
Book Cover Information
| Image Source | default |
|---|---|
| First Loaded | Aug 29, 2023 |
| Last Used | Apr 30, 2024 |
Marc Record
| First Detected | Aug 09, 2021 12:24:16 PM |
|---|---|
| Last File Modification Time | Nov 22, 2021 08:26:01 AM |
MARC Record
| LEADER | 02052nam a2200469 a 4500 | ||
|---|---|---|---|
| 001 | EBC1124321 | ||
| 003 | MiAaPQ | ||
| 006 | m E | | ||
| 007 | cr cn||||||||| | ||
| 008 | 090709s2010 enka sb 001 0 eng d | ||
| 010 | |z 2009026282 | ||
| 020 | |z 9781118600122 (e-book) | ||
| 020 | |z 9781848211438 | ||
| 035 | |a (Sirsi) EBC1124321 | ||
| 035 | |a (Au-PeEL)EBL1124321 | ||
| 035 | |a (CaONFJC)MIL449995 | ||
| 035 | |a (CaPaEBR)ebr10658441 | ||
| 035 | |a (MiAaPQ)EBC1124321 | ||
| 035 | |a (OCoLC)828298965 | ||
| 035 | |a (Sirsi) EBC1124321 | ||
| 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 |
| 245 | 0 | 0 | |a Communicating embedded systems|h [eBook] :|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 Computer software|x Development. | |
| 650 | 0 | |a Embedded computer systems|x Design and construction. | |
| 650 | 0 | |a Embedded computer systems|x Programming. | |
| 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) | |
| 730 | 0 | 2 | |a Approches formelles des systèmes embarqués communicants.|l English. |
| 856 | 4 | 0 | |u http://ebookcentral.proquest.com/lib/prescottcollege-ebooks/detail.action?docID=1124321|x Prescott College|y Prescott College users click here to access |
| 856 | 4 | 0 | |u http://ebookcentral.proquest.com/lib/yavapai-ebooks/detail.action?docID=1124321|x Yavapai College|y Yavapai College users click here to access |
| 856 | 4 | 0 | |u http://ebookcentral.proquest.com/lib/yln-ebooks/detail.action?docID=1124321|x Yavapai Library Network|y All other users click here to access |
| 945 | |a E-Book | ||
