Treffer: Formal methods and software development

Titel:

Formal methods and software development / Colloquium on Software Engineering (CSE). Ed by Hartmut Ehrig ...

Beteiligt:

Körperschaft:

Veröffentlicht:

Berlin : Springer, 1985

Umfang:

XIV, 455 Seiten : Diagramme

Publikationstyp:

Buch

Sprache:

Deutsch

Schriftenreihe/Mehrbändiges Werk:

Anmerkungen:

Literaturangaben

RVK-Notation:

Schlagworte:

ISBN:

3540151990 ; 0387151990

Zusatz-Informationen