Deductive Software Verification - The KeY Book
From Theory to Practice
Szerző:
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich
Elérhetőség:
Beszállítói készleten
Küldés 5-8 napon belül
46 231
Ft
Mechanized verification has a distinguished history, as well and this is not a place to trace it. It...
