Books written by Pasareanu Corina S. Pasareanu Bookswagon UAE
Logo1
Login & Sign up
AddBanner
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
humburger icon Categories
Close

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
Pasareanu Corina S. Pasareanu

Pasareanu Corina S. Pasareanu

8 results found
List viewGrid view
Sort By:
1.
Theoretical Aspects of Computing – ICTAC 2022
Theoretical Aspects of Computing – ICTAC 2022
By: Zhiming Liu, Corina S. Pasareanu, Helmut Seidl
Publisher: Springer International Publishing AG
No Review Yet
AED258
Binding:
Paperback
Release:
03 Oct 2022
Language:
English
International Edition
Ships within 18-20 Days Explain..
2.
Formal Aspects of Component Software
Formal Aspects of Component Software
By: Corina S Pasareanu, Gwen Salaün
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED213
Binding:
Paperback
Release:
09 Jan 2013
Language:
English
Available
Ships within 14-16 Days Explain..
3.
Model Checking Software
Model Checking Software
By: Corina S Pasareanu
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED231
Binding:
Paperback
Release:
19 Jun 2009
Language:
English
Available
Ships within 14-16 Days Explain..
4.
Theoretical Aspects of Computing - ICTAC 2022
Theoretical Aspects of Computing - ICTAC 2022
By: Pasareanu Corina S. Pasareanu, Liu Zhiming Liu, Seidl Helmut Seidl
Publisher: Springer Nature B.V.
No Review Yet
AED241
Binding:
Paperback
Release:
03 Oct 2022
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
5.
Software Engineering and Formal Methods
Software Engineering and Formal Methods
By: Pasareanu Corina S. Pasareanu, Calinescu Radu Calinescu
Publisher: Springer Nature B.V.
No Review Yet
AED241
Binding:
Paperback
Release:
09 Dec 2021
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
6.
Computer Aided Verification
Computer Aided Verification
By: Pasareanu Corina S. Pasareanu, Kroening Daniel Kroening
Publisher: Springer Nature B.V.
No Review Yet
AED248
Binding:
Paperback
Release:
20 Jul 2015
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
7.
Computer Aided Verification
Computer Aided Verification
By: Pasareanu Corina S. Pasareanu, Kroening Daniel Kroening
Publisher: Springer Nature B.V.
No Review Yet
AED241
Binding:
Paperback
Release:
18 Jul 2015
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
8.
Model Checking Software
Model Checking Software
By: Corina S Pasareanu
Publisher: Springer
No Review Yet
AED96
Binding:
Paperback
Release:
14 Jul 2009
Out of Stock
Notify me when this book is in stockNotify Me
No more records found