Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
  • Formal methods in software and...
  • Beschreibung

Treffer: Formal methods in software and systems modeling

Titel:
Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday / Hans-Jörg Kreowski ... (ed.)
Beteiligt:
Kreowski, Hans-Jörg (Herausgeber) ; Ehrig, Hartmut (Gefeierter) 
Veröffent­licht:
Berlin : Springer, 2005
Umfang:
XXVII, 411 Seiten : Illustrationen, Diagramme ; 24 cm
Publikationstyp:
Buch
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Lecture notes in computer science ; Vol. 3393
alle Bände anzeigen
RVK-Notation:
SS 4000
Schlagworte:
ISBN:
3540249362

Zusatz-Informationen

Zusatz-Funktionen