Luca Aceto: Reactive Systems - Modelling, Specification and Verification

Reactive Systems: Modelling, Specification and Verification

Author: Luca Aceto

hardback
Category: Programming & Scripting Languages: General
Category: Software Engineering
Category: Mathematical Theory Of Computation
Category: Cybernetics & Systems Theory
CAMBRIDGE UNIVERSITY PRESS
Discounted book price: 90.03 EUR
(price updated on 21.08.2025)

Free delivery to EU countries (and more) more

Reader's comments and book reviews: Amazon

View and order

Books from category Cybernetics & Systems Theory

More than books

X-Events: Complexity Overload and the Collapse of Everything Price: 15.88 EUR Show book details	The Hot Hand: The Mystery and Science of Streaks Price: 27.24 EUR Show book details
The Hot Hand: The Mystery and Science of Streaks Price: 19.13 EUR Show book details	Discrete Systems Simulation Price: 69.06 EUR Show book details
Bionics for the Evil Genius Price: 36.16 EUR Show book details	Information Systems Development Price: 93.72 EUR Show book details
Systems & Control Encyclopedia Price: 241.11 EUR Show book details	Concise Encyclopedia of Modelling & Simulation Price: 320.22 EUR Show book details
The Sciences of Aphasia Price: 182.22 EUR Show book details	Discrete Event Systems 2004 (WODES'04) Price: 106.03 EUR Show book details
Reliability of Large Systems Price: 271.38 EUR Show book details	Pattern Recognition in Industry Price: ~~96.07 EUR~~ 82.03 EUR Show book details
Analysis and Design of Hybrid Systems 2006: A Proceedings Volume from the 2nd Ifac Conference, Alghero, Italy, 7-9 June 2006: A Proceedings volume from the 2nd IFAC Conference, Alghero, Italy, 7-9 June 2006 Price: 193.30 EUR Show book details	Differential Equations, Dynamical Systems, and an Introduction to Chaos Price: ~~113.24 EUR~~ 0.00 EUR Show book details
Handbook of Dynamical Systems Price: ~~185.53 EUR~~ 0.00 EUR Show book details	Complex Systems: Lecture Notes of the Les Houches Summer School 2006 Price: ~~66.56 EUR~~ 0.00 EUR Show book details
Partial Differential Equations and Boundary Value Problems With Maple V Price: 103.62 EUR Show book details	Circuits, Systems, and Signals for Bioengineers: Introduction to Biosignal and Systems Analysis Price: 129.94 EUR Show book details
Systems Thinking: Managing Chaos and Complexity: A Platform for Designing Business Architecture Price: 37.77 EUR Show book details	System Identification: Theory for the User Price: 255.26 EUR Show book details