Jens Palsberg

Jens Palsberg

9 results found
List viewGrid view
Sort By:
2.
Verification, Model Checking, and Abstract Interpretation37 %
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
05 Feb 2018
Language:
English
Available
Ships within 12-14 Days Explain..
3.
Tools and Algorithms for the Construction and Analysis of Systems37 %
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
01 Apr 2006
Language:
English
Available
Ships within 12-14 Days Explain..
4.
Static Analysis37 %
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
20 Jul 2009
Language:
English
Available
Ships within 12-14 Days Explain..
5.
Semantics and Algebraic Specification37 %
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
28 Aug 2009
Language:
English
Available
Ships within 12-14 Days Explain..
6.
Model Checking Software59 %
No Review Yet
₹7,237
₹2,967
Binding:
Paperback
Release:
01 Oct 2008
Language:
English
Available
Ships within 2-4 Days Explain..
8.
Verification, Model Checking, and Abstract Interpretation1 % NR
No Review Yet
₹4,239
₹4,197
Binding:
Paperback
Release:
09 Jan 2018
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
9.
Modern Compiler Implementation in Java2 % NR
No Review Yet
₹36,000
₹35,164
Binding:
Digital (delivered electronically)
Release:
05 Jun 2012
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found