Foundations of Algebraic Specification and Formal Software Development

Bibliographische Detailangaben

Hauptverfasser:	Sannella, Donald (VerfasserIn), Tarlecki, Andrzej (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer Berlin 2012
Schriftenreihe:	Monographs in Theoretical Computer Science. An EATCS Series
Schlagworte:	Algebraische Spezifikation Softwareentwicklung Formale Methode Softwarespezifikation
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!