Communicating embedded systems : software and design : formal methods /

Communicating embedded systems : software and design : formal methods /

Saved in:

Bibliographic Details
Uniform title:	Approches formelles des systèmes embarqués communicants. English.
Imprint:	London : Iste ; Hoboken, NJ : ohn Wiley and Sons, 2010.
Description:	xii, 261 p. : ill. ; 25 cm.
Language:	English
Subject:	Embedded computer systems -- Programming. Embedded computer systems -- Design and construction. Computer software -- Development. Formal methods (Computer science) Computer software -- Development. Embedded computer systems -- Design and construction. Embedded computer systems -- Programming. Formal methods (Computer science)
Format:	Print Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/8126789

Hidden Bibliographic Details
Other authors / contributors:	Jard, Claude. Roux, Olivier H.
ISBN:	9781848211438 1848211430
Notes:	Includes bibliographical references and index.

Crerar, Lower Level, Bookstacks

Loading map link

Holdings details from Crerar, Lower Level, Bookstacks
Call Number:	TK7895.E42 A387 2010
c.1	Available Loan period: standard loan Scan and Deliver Request for Pickup Need help? - Ask a Librarian