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
Disponibilitate:
În depozitul extern
Expediem în 5-8 zile
661.15
lei
Mechanized verification has a distinguished history, as well and this is not a place to trace it. It...
