Synthesis of embedded software : frameworks and methodologies for correctness by construction /

Synthesis of embedded software : frameworks and methodologies for correctness by construction /

Saved in:
Bibliographic Details
Imprint:New York : Springer, c2010.
Description:1 online resource (xv, 266 p.)
Language:English
Subject:
Embedded computer systems -- Design and construction.
Embedded computer systems -- Design and construction.
Format: E-Resource Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/8895016
Hidden Bibliographic Details
Other authors / contributors:Shukla, Sandeep K.
Talpin, Jean-Pierre.
ISBN:9781441964007
1441964002
Notes:Includes bibliographical references and index.
Description based on print version record.

Similar Items

Similar Items