The Locator -- [(subject = "Embedded computer systems--Design and construction")]
58
records matched your query
Record 15 |
Previous Record
|
MARC Display
|
Next Record
|
Search Results
Author:
Approches formelles des syst©·mes embarqu©♭s communicants. English
Title:
Communicating embedded systems :
software and design : formal methods / edited by Claude Jard, Olivier H. Roux.
Publisher:
ISTE ;
Copyright Date:
2010
Description:
xii, 261 p. : ill. ; 25 cm.
Subject:
Embedded computer systems--Programming
Embedded computer systems--Design and construction.
Computer software--Development
Formal methods (Computer science)
Other Authors:
Jard, Claude
Roux, Olivier H.
Notes:
Includes bibliographical references and index.
ISBN:
1848211430
9781848211438
OCLC:
(OCoLC)424454754
LCCN:
2009026282
Locations:
USUX851 --
Iowa State University - Parks Library
(Ames)
Initiate Another SILO Locator Search
This resource is supported by the Institute of Museum and Library Services under the provisions of the Library Services and Technology Act as administered by State Library of Iowa.