Vom 20.12.2025 bis 11.01.2026 ist die Universitätsbibliothek geschlossen. Ab dem 12.01.2026 gelten wieder die regulären Öffnungszeiten. Ausnahme: Medizinische Hauptbibliothek und Zentralbibliothek sind bereits ab 05.01.2026 wieder geöffnet. Weitere Informationen
  • Abstract state machines
  • Bestand

Treffer: Abstract state machines

Titel:
Abstract state machines : a method for high level system design and analysis ; with 19 tables / Egon Börger ; Robert Stärk
Verantwortlich:
Börger, Egon (Verfasser) ; Stärk, Robert F. (Verfasser) 
Veröffent­licht:
Berlin : Springer, 2003
Umfang:
X, 438 Seiten : Diagramme ; 24 cm + 1 CD-ROM
Publikationstyp:
Buch
Sprache:
Englisch
Anmerkungen:
Literaturverzeichnis Seite 369 - 428
RVK-Notation:
ST 136
Schlagworte:
ISBN:
3540007024

Zusatz-Informationen

Zusatz-Funktionen