The university library will be closed from December 20, 2025 to January 11, 2026. From January 12, 2026, regular opening hours will apply again. Exception: The main medical library and the central library will be open again from January 5, 2026. Further information
  • Reactive systems
  • Holdings

Result: Reactive systems

Title:
Reactive systems : modelling, specification and verification / Luca Aceto [and others]
Responsible:
Aceto, Luca (Verfasser) 
Published:
Cambridge : Cambridge University Press, 2007
Distribution:
Cambridge, UK : Cambridge University Press
Extent:
1 Online-Ressource (xvi, 284 Seiten)
Format:
eBook
Language:
English
Notes:
Title from publisher's bibliographic system (viewed on 05 Oct 2015)
RVK-Notation:
ST 302
Subject headings:
ISBN:
9780511814105 ; 9780521875462 (Sekundärausgabe)

Additional information

Additional functions