Author: Robert P. Kurshan
Showing 1 to 2 of 2
-
Save 5% Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach
Robert P. KurshanCurrent price €144.39Original price €151.99Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which noneth...
View full detailsCurrent price €144.39Original price €151.99Save 5% -
Save 5% Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach
Robert P. KurshanCurrent price €62.69Original price €65.99Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which noneth...
View full detailsCurrent price €62.69Original price €65.99Save 5%
Sort by