direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Introduction to Algebraic Specification – Part 1: Formal Methods for Software Development
Zitatschlüssel EMCO92
Autor H. Ehrig and B. Mahr and I. Claß en and F. Orejas
Seiten 460–467
Jahr 1992
Journal The Computer Journal
Jahrgang 35
Nummer 5
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe