Burkhart Wolff

Burkhart Wolff

7 results found
List viewGrid view
Sort By:
1.
Unifying Theories of Programming37 %
Publisher: Springer
No Review Yet
₹4,278
₹2,695
Binding:
Paperback
Release:
04 Jan 2013
Language:
English
Available
Ships within 12-14 Days Explain..
2.
Tests and Proofs37 %
Publisher: Springer
No Review Yet
₹4,650
₹2,930
Binding:
Paperback
Release:
06 Jul 2018
Language:
English
Available
Ships within 12-14 Days Explain..
3.
Theorem Proving in Higher Order Logics37 %
Publisher: Springer
No Review Yet
₹4,650
₹2,930
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,660
₹1,911
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,339
₹4,296
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
₹5,103
Binding:
Paperback
Release:
22 Jun 2011
Language:
English
International Edition
Ships within 16-18 Days Explain..
Free Shipping in India and low cost Worldwide.
7.
Testing Software and SystemsNR
International Edition
Ships within 16-18 Days Explain..
Free Shipping in India and low cost Worldwide.
No more records found