Communicating embedded systems : software and design ; formal methods

Communicating embedded systems software and design ; formal methods

Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Jard, Claude (BerichterstatterIn), Roux, Olivier H. (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: London ISTE u.a. 2010
Schlagworte:
Embedded computer systems > Programming > Design and construction > Computer software > Development > Formal methods (Computer science)
Online Zugang:Verlagsangaben
Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Includes bibliographical references and index
Beschreibung:XII, 261 S.
graph. Darst.
ISBN:9781848211438
978-1-84821-143-8