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
Dostupnosť:
Skladom u dodávateľa
Odosielame za 5-8 dní
119.67
€
Mechanized verification has a distinguished history, as well and this is not a place to trace it. It...
