Daniel Kroening

Daniel Kroening

13 results found
List viewGrid view
Sort By:
1.
Model Checking18 % NR
Publisher: Mit Press
No Review Yet
₹8,280
₹6,790
Binding:
Hardback
Release:
04 Dec 2018
Language:
English
International Edition
Ships within 10-12 Days Explain..
Free Shipping in India and low cost Worldwide.
3.
Digitaltechnik - Eine Praxisnahe Einführung36 %
Available
Ships within 12-14 Days Explain..
4.
Validation of Evolving Software36 %
Publisher: Springer
No Review Yet
₹4,800
₹3,072
Binding:
Paperback
Release:
17 Oct 2016
Language:
English
Available
Ships within 12-14 Days Explain..
5.
Validation of Evolving Software36 %
Publisher: Springer
No Review Yet
₹4,800
₹3,072
Binding:
Hardback
Release:
10 Jul 2015
Language:
English
Available
Ships within 12-14 Days Explain..
11.
Computer Aided Verification1 % NR
No Review Yet
₹4,239
₹4,197
Binding:
Paperback
Release:
18 Jul 2015
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
12.
Computer Aided VerificationNR
No Review Yet
₹4,291
Binding:
Paperback
Release:
20 Jul 2015
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
13.
Decision Procedures: An Algorithmic Point of View18 % NR
Publisher: Springer
No Review Yet
₹4,436
₹3,638
Binding:
Paperback
Release:
08 Nov 2018
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found