Formal methods for real-time computing

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Heitmeyer, Constance (HerausgeberIn), Mandrioli, Dino (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Chichester u.a. Wiley & Sons c1996
Schriftenreihe:	Trends in software 5
Schlagworte:	Real-time data processing > Software > Engineering > Echtzeitverarbeitung > Formale Methode
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!