Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction

Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction / edited by Sandeep Kumar Shukla, Jean-Pierre Talpin.

Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction Edited by: Sandeep Kumar Shukla Jean-Pierre Talpin Embedded software is ubiquitous today. There are millions of lines of embedded code in smart phones, and even more in systems responsible for automotive con...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Shukla, Sandeep Kumar (Editor), Talpin, Jean-Pierre (Editor)
Format: eBook
Language:English
Published: New York, NY : Springer US : Imprint: Springer, 2010.
Edition:1st ed. 2010.
Series:Springer eBook Collection.
Subjects:
Electronic circuits.
Computer-aided engineering.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Login for hold information

‌

Click to view e-book

Online

Holdings details from Online
Call Number: E-Book
Status: Available

Similar Items