Synthese eingebetteter Software: Frameworks und Methoden zur Korrektheit...
Synthesis of Embedded Software : Frameworks and Methodologies for Correctness by Construction, Hardcover by Shukla, Sandeep K. (EDT); Talpin, Jean-Pierre (EDT), ISBN 1441963995, ISBN-13 9781441963994, Brand New, Free shipping in the US Embedded software is ubiquitous today and this book presents the state-of-the art-in the design of safety-critical, embedded software in a single reference. It is an invaluable reference for those concerned with improving the product development life-cycle.
Jetzt bei Ebay: