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!

Keine Ergebnisse!