Bok Reactive Systems (Luca Aceto) - Modelling, Specification and Verification

Reactive Systems: Modelling, Specification and Verification

Författare: Luca Aceto

hardback
Kategori: Programmering och skriptspråk: Allmänt
Kategori: Mjukvaruutveckling
Kategori: Matematiska teorin för beräkning
Kategori: Cybernetics & systemteori
CAMBRIDGE UNIVERSITY PRESS
Vårt bokpris: 90.03 EUR
(pris uppdaterat den 21.08.2025)

Gratis leverans till Sverige mer

Läsarens kommentar och bokrecensioner: Amazon

Se och beställ

Böcker från kategori Cybernetics & systemteori

Mer än böcker

X-Events: Complexity Overload and the Collapse of Everything Pris: 15.88 EUR Visa bokdetaljer	The Hot Hand: The Mystery and Science of Streaks Pris: 27.24 EUR Visa bokdetaljer
The Hot Hand: The Mystery and Science of Streaks Pris: 19.13 EUR Visa bokdetaljer	Discrete Systems Simulation Pris: 69.06 EUR Visa bokdetaljer
Bionics for the Evil Genius Pris: 36.16 EUR Visa bokdetaljer	Information Systems Development Pris: 93.72 EUR Visa bokdetaljer
Systems & Control Encyclopedia Pris: 241.11 EUR Visa bokdetaljer	Concise Encyclopedia of Modelling & Simulation Pris: 320.22 EUR Visa bokdetaljer
The Sciences of Aphasia Pris: 182.22 EUR Visa bokdetaljer	Discrete Event Systems 2004 (WODES'04) Pris: 106.03 EUR Visa bokdetaljer
Reliability of Large Systems Pris: 271.38 EUR Visa bokdetaljer	Pattern Recognition in Industry Pris: ~~96.07 EUR~~ 82.03 EUR Visa bokdetaljer
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 Pris: 193.30 EUR Visa bokdetaljer	Differential Equations, Dynamical Systems, and an Introduction to Chaos Pris: ~~113.24 EUR~~ 0.00 EUR Visa bokdetaljer
Handbook of Dynamical Systems Pris: ~~185.53 EUR~~ 0.00 EUR Visa bokdetaljer	Complex Systems: Lecture Notes of the Les Houches Summer School 2006 Pris: ~~66.56 EUR~~ 0.00 EUR Visa bokdetaljer
Partial Differential Equations and Boundary Value Problems With Maple V Pris: 103.62 EUR Visa bokdetaljer	Circuits, Systems, and Signals for Bioengineers: Introduction to Biosignal and Systems Analysis Pris: 129.94 EUR Visa bokdetaljer
Systems Thinking: Managing Chaos and Complexity: A Platform for Designing Business Architecture Pris: 37.77 EUR Visa bokdetaljer	System Identification: Theory for the User Pris: 255.26 EUR Visa bokdetaljer