Deductive Software Verification - The KeY Book
From Theory to Practice
Autor:
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich
Dostupnost:
Skladem u dodavatele
Odesíláme za 5-8 dnů
2 742
Kč
Mechanized verification has a distinguished history, as well and this is not a place to trace it. It...
