Reactive Systems: Modelling, Specification and Verification
![]() | hardback Category: Programming & Scripting Languages: General Category: Software Engineering Category: Mathematical Theory Of Computation Category: Cybernetics & Systems Theory CAMBRIDGE UNIVERSITY PRESS Fastbooks book price: 89.17 EUR (price updated on 30.01.2026) Free delivery to EU countries (and more) more Reader's comments and book reviews: Amazon |



















