deductive software verification future perspectives reflections on the oc
deductive software verification future perspectives reflections on the oc
Recommended
Deductive Software Verification The KeY Book: From Theory to Practice by Wolfgan
$150.04
View Details
Separation Logic for High-level Synthesis by Felix Winterstein (English) Paperba
$128.30
View Details
Logic for Programming and Automated Reasoning : 7th Conference Lpar 2000 Reun...
$67.86
View Details
Deductive Software Verification: Future Perspectives: Reflections on the Occasio
$75.24
View Details
Deductive Program Design, Hardcover by Broy, Manfred (EDT); North Atlantic Tr...
$244.31
View Details
Deductive Software Verification - Future Perspectives : Reflections on the Oc...
$65.98
View Details
Logic for Programming Artificial Intelligence, and Reasoning : Proceedings of...
$126.74
View Details
Logidata+: Deductive Databases With Complex Objects, Paperback by Atzeni, Pao...
$66.78
View Details
Deductive Software Verification The KeY Book: From Theory to Practice by Wolfgan
$147.23
View Details