Reactive Systems: Modelling, Specification and Verification - Hardcover

Aceto, Luca; Ingolfsdottir, Anna; Srba, Jiri

 
9780521875462: Reactive Systems: Modelling, Specification and Verification
Hardcover
ISBN 10: 0521875463 ISBN 13: 9780521875462
Verlag: Cambridge University Press, 2007

Inhaltsangabe

Accessible text describing the process algebraic approach to the specification and verification of software and software systems using mathematical logic.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

Luca Aceto is Professor of Computer Science at Reykjavík University, Iceland and Aalborg University, Denmark.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Cambridge University Press
Erscheinungsdatum
2007
Sprache
Englisch
ISBN 10 
0521875463
ISBN 13 
9780521875462
Einband
Gebundene Ausgabe
Anzahl der Seiten
302
Kontakt zum Hersteller
preigu GmbH & Co. KG
mail@preigu.de

Lengericher Landstr. 19
Osnabrück
Niedersachsen
49078
Deutschland