Finkbeiner Bernd Finkbeiner

Finkbeiner Bernd Finkbeiner

10 results found
List viewGrid view
Sort By:
1.
Tools and Algorithms for the Construction and Analysis of Systems37 %
No Review Yet
₹3,840
₹2,419
Binding:
Paperback
Release:
13 Jun 2024
Language:
English
Available
Ships within 12-14 Days Explain..
2.
Tools and Algorithms for the Construction and Analysis of Systems37 %
No Review Yet
₹3,840
₹2,419
Binding:
Paperback
Release:
13 Jun 2024
Language:
English
Available
Ships within 12-14 Days Explain..
3.
Tools and Algorithms for the Construction and Analysis of Systems37 %
No Review Yet
₹3,840
₹2,419
Binding:
Paperback
Release:
13 Jun 2024
Language:
English
Available
Ships within 12-14 Days Explain..
4.
Verification, Model Checking, and Abstract Interpretation37 %
No Review Yet
₹8,640
₹5,443
Binding:
Paperback
Release:
14 Jan 2022
Language:
English
Available
Ships within 12-14 Days Explain..
5.
Fields of Logic and Computation III37 %
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
23 May 2020
Language:
English
Available
Ships within 12-14 Days Explain..
6.
Runtime Verification37 %
No Review Yet
₹6,240
₹3,931
Binding:
Paperback
Release:
04 Oct 2019
Language:
English
Available
Ships within 12-14 Days Explain..
7.
Automated Technology for Verification and Analysis37 %
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
03 Dec 2015
Language:
English
Available
Ships within 12-14 Days Explain..
8.
Fields of Logic and Computation II37 %
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
27 Aug 2015
Language:
English
Available
Ships within 12-14 Days Explain..
10.
Verification, Model Checking, and Abstract Interpretation1 % NR
No Review Yet
₹4,239
₹4,197
Binding:
Paperback
Release:
26 Jan 2022
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found