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
  • Reactive systems
  • Mehr Informationen

Treffer: Reactive systems

Titel:
Reactive systems : modelling, specification and verification / Luca Aceto [and others]
Verantwortlich:
Aceto, Luca (Verfasser) 
Veröffent­licht:
Cambridge : Cambridge University Press, 2007
Vertrieb:
Cambridge, UK : Cambridge University Press
Umfang:
1 Online-Ressource (xvi, 284 Seiten)
Publikationstyp:
E-Book
Sprache:
Englisch
Anmerkungen:
Title from publisher's bibliographic system (viewed on 05 Oct 2015)
RVK-Notation:
ST 302
Schlagworte:
ISBN:
9780511814105 ; 9780521875462 (Sekundärausgabe)

Zusatz-Informationen

Zusatz-Funktionen