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