Treffer: Formal methods and software development

Titel:
Formal methods and software development / Colloquium on Software Engineering (CSE). Ed by Hartmut Ehrig ...
Beteiligt:
Ehrig, Hartmut (Herausgeber) 
Körper­schaft:
CAAP (10 : 1985 : Berlin, West)
Colloquium on Software Engineering (1985 : Berlin, West)
TAPSOFT (1 : 1985 : Berlin, West)
Veröffent­licht:
Berlin : Springer, 1985
Umfang:
XIV, 455 Seiten : Diagramme
Publikationstyp:
Buch
Sprache:
Deutsch
Schriftenreihe/­Mehrbändiges Werk:
TAPSOFT (1 : Berlin, West : 1985): Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) ; 2
alle Bände anzeigen
Lecture notes in computer science ; 186
alle Bände anzeigen
Anmerkungen:
Literaturangaben
RVK-Notation:
ST 230 SS 4000
Schlagworte:
ISBN:
3540151990 ; 0387151990

Zusatz-Informationen

Zusatz-Funktionen