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!

Beschreibung
Beschreibung:	Includes bibliographical references and index
Beschreibung:	XVII, 271 S. Ill., graph. Darst. 24 cm
ISBN:	0471958352 0-471-95835-2