deductive software verification the key book from theory by wolfgang ahrendt
deductive software verification the key book from theory by wolfgang ahrendt
Recommended
Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rusta
$125.99
View Details
Deductive Software Verification - Future Perspectives : Reflections on the Oc...
$65.97
View Details
LOGIDATA+: Deductive Databases with Complex Objects: Deductive Data Bases with C
$66.79
View Details
Deductive Software Verification : The Key Book; from Theory to Practice, Pape...
$145.44
View Details
Introduction to MultiAgent Systems, Paperback by Wooldridge, Michael, Used Go...
$62.90
View Details
Deductive Software Verification - Future Perspectives : Reflections on the Oc...
$65.98
View Details
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Rei
$126.13
View Details
Logidata+: Deductive Databases With Complex Objects, Paperback by Atzeni, Pao...
$66.78
View Details
Logic for Programming Artificial Intelligence, and Reasoning : Proceedings of...
$126.74
View Details
Deductive Software Verification: Future Perspectives: Reflections on the Occasio
$54.27
View Details