Skip to content
Home
/ Products tagged “Bernhard Beckert”
Bernhard Beckert
Showing all 3 results
Default sorting
Sort by popularity
Sort by average rating
Sort by latest
Sort by price: low to high
Sort by price: high to low
Order now
Engineering
[PDF] Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers June Andronick (auth.), Bernhard Beckert, Claude March? (eds.)
$
19.99
Order now
Order now
Engineering
[PDF] Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings Michael Hennell (auth.), Bernhard Beckert, Reiner H?hnle (eds.)
$
19.99
Order now
Order now
Engineering
{PDF} Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings Michael Hennell (auth.), Bernhard Beckert, Reiner H?hnle (eds.)
$
19.99
Order now
Chat with us!
Chat with us!
WhatsApp Support
×
Hi 👋 How can we help you?
Message
Send on WhatsApp
![[PDF] Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers June Andronick (auth.), Bernhard Beckert, Claude March? (eds.)](https://digzon.com/wp-content/uploads/2024/04/b38226a2f5ebf7069b49acdf8b66f001-d.jpg)
![[PDF] Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings Michael Hennell (auth.), Bernhard Beckert, Reiner H?hnle (eds.)](https://digzon.com/wp-content/uploads/2024/04/af3ccbc9e5ba524ea745430c4a8701d0-d.jpg)
