Computer-Aided Verification of Coordinating Processes
The Automata-Theoretic Approach
Autor:
Robert P. Kurshan
Dostupnosť:
Skladom u dodávateľa
Odosielame za 10-13 dní
130.04
€
Formal verification increasingly has become recognized as an answer to the problem of how to create...
