Verification of Sequential and Concurrent Programs
Autor:
Ernst-Rudiger Olderog
Dostupnost:
Skladem u dodavatele
Odesíláme za 8-11 dnů
1 788
Kč
This book explores one of the most common approaches to program verification, known as the assertion...
