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
Dostępność:
Dostępna u dostawcy
Wysyłamy za 5-8 dni
507.90
zł
Mechanized verification has a distinguished history, as well and this is not a place to trace it. It...
