Modern formal methods and applications

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Gabbar, Hossam A. (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Dordrecht Springer 2006
Schlagworte:	Formal methods (Computer science) > Industrial applications > Formale Spezifikationstechnik > Anwendung
Online Zugang:	Inhaltstext Table of contents only Publisher description Contributor biographical information
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!