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

Reactive Systems: Modelling, Specification and Verification

Autor: Luca Aceto

hardback
Categorie: Programarea & Scripting Limbi: General
Categorie: Inginerie software
Categorie: Teoria matematică a Computation
Categorie: Cibernetica & Teoria Sistemelor
CAMBRIDGE UNIVERSITY PRESS
Preţul cărţii noastre: 90.03 EUR
(Preţ reactualizat 21.08.2025)

Livrare gratuită în România Mai mult

Comentariile cititorului şi recenziile cărţilor: Amazon

Comandă acum

Cărţi din categoria Cibernetica & Teoria Sistemelor

Mai mult decât cărţi

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