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: 87.80 EUR (price updated on 21.11.2025) Free delivery to EU countries (and more) more Reader's comments and book reviews: Amazon |



















