Burkhart Wolff

Burkhart Wolff

7 results found
List viewGrid view
Sort By:
1.
Tests and Proofs37 %
Publisher: Springer
No Review Yet
₹4,690
₹2,955
Binding:
Paperback
Release:
06 Jul 2018
Language:
English
Available
Ships within 12-14 Days Explain..
2.
Unifying Theories of Programming37 %
Publisher: Springer
No Review Yet
₹4,315
₹2,718
Binding:
Paperback
Release:
04 Jan 2013
Language:
English
Available
Ships within 12-14 Days Explain..
3.
Theorem Proving in Higher Order Logics37 %
Publisher: Springer
No Review Yet
₹4,690
₹2,955
Binding:
Paperback
Release:
21 Aug 2003
Language:
English
Available
Ships within 12-14 Days Explain..
4.
Formal Approaches to Software Testing and Runtime Verification59 %
Publisher: Springer
No Review Yet
₹4,675
₹1,917
Binding:
Paperback
Release:
01 Jan 2007
Language:
English
Available
Ships within 1-2 Days Explain..
5.
Theorem Proving in Higher Order Logics1 % NR
No Review Yet
₹4,239
₹4,197
Binding:
Paperback
Release:
12 Mar 2014
Language:
English
International Edition
Ships within 14-16 Days Explain..
Free Shipping in India and low cost Worldwide.
6.
Tests and ProofsNR
Publisher: Springer
No Review Yet
₹4,885
Binding:
Paperback
Release:
22 Jun 2011
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
7.
Testing Software and SystemsNR
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
No more records found