Corina S. Pasareanu

Corina S. Pasareanu

13 results found
List viewGrid view
Sort By:
1.
Symbolic Execution and Quantitative Reasoning36 %
No Review Yet
₹2,400
₹1,536
Binding:
Paperback
Release:
13 May 2020
Language:
English
Available
Ships within 12-14 Days Explain..
2.
Software Engineering and Formal Methods37 %
No Review Yet
₹7,680
₹4,838
Binding:
Paperback
Release:
03 Dec 2021
Language:
English
Available
Ships within 12-14 Days Explain..
3.
Theoretical Aspects of Computing - Ictac 202237 %
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
03 Oct 2022
Language:
English
Available
Ships within 12-14 Days Explain..
4.
Model Checking Software53 %
No Review Yet
₹5,036
₹2,367
Binding:
Paperback
Release:
19 Jun 2009
Language:
English
Available
Ships within 1-2 Days Explain..
5.
Formal Aspects of Component Software37 %
Publisher: Springer
No Review Yet
₹4,416
₹2,782
Binding:
Paperback
Release:
09 Jan 2013
Language:
English
Available
Ships within 12-14 Days Explain..
6.
Computer Aided Verification37 %
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
23 Jul 2015
Language:
English
Available
Ships within 12-14 Days Explain..
7.
Computer Aided Verification37 %
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
27 Jul 2015
Language:
English
Available
Ships within 12-14 Days Explain..
8.
Theoretical Aspects of Computing - ICTAC 20221 % NR
No Review Yet
₹4,239
₹4,197
Binding:
Paperback
Release:
03 Oct 2022
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
9.
Software Engineering and Formal Methods1 % NR
No Review Yet
₹4,239
₹4,197
Binding:
Paperback
Release:
09 Dec 2021
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
12.
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
13.
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
No more records found