Computer-Aided Verification of Coordinating Processes
The Automata-Theoretic Approach
Autor:
Robert P. Kurshan
Dostupnost:
Skladem u dodavatele
Odesíláme za 10-13 dnů
3 000
Kč
Formal verification increasingly has become recognized as an answer to the problem of how to create...
