Formal Verification of Object-Oriented Software
Bernhard Beckert, Claude Marché
₹5,483
Author
Books by Bernhard Beckert
Showing 1–2 of 2 books
Formal Verification of Object-Oriented Software
Bernhard Beckert, Ferruccio Damiani, Dilian Gurov
₹5,031
Author
Showing 1–2 of 2 books
Bernhard Beckert, Claude Marché
₹5,483
Bernhard Beckert, Ferruccio Damiani, Dilian Gurov
₹5,031