Bernhard K. Aichernig

Bernhard K. Aichernig

4 results found
List viewGrid view
Sort By:
1.
Formal Methods at the Crossroads37 %
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
18 Nov 2003
Language:
English
Available
Ships within 12-14 Days Explain..
2.
Tests and Proofs37 %
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
21 Jun 2016
Language:
English
Available
Ships within 12-14 Days Explain..
3.
Formal Methods at the Crossroads. From Panacea to Foundational SupportNR
International Edition
Ships within 14-16 Days Explain..
Free Shipping in India and low cost Worldwide.
4.
Formal Methods for Components and ObjectsNR
International Edition
Ships within 16-18 Days Explain..
Free Shipping in India and low cost Worldwide.
No more records found