Deductive Software Verification
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt
₹9,279
Author
Books by Wolfgang Ahrendt
Showing 1–2 of 2 books
Integrated Formal Methods
Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa
₹4,292