Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22–26, 1985

Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22–26, 1985

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Bibel, Wolfgang, Jantke, Klaus P
Format: Buch
Sprache:eng
Schlagworte:
Computer Science
Programming Techniques
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:
ISSN:0302-9743
1611-3349
DOI:10.1007/3-540-16444-8