- Books
- ISBN: 9781681738543
Edition
ISBN: 1681738546 /
ISBN-13: 9781681738543
- Book Details
- Seller
-
-
|
Paperback,
Very Good
Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security (Synthesis Lectures on Software Engineering)
by Pasareanu, Corina S.
2020, Morgan & Claypool
ISBN-13:
9781681738543
See Item Details ▾
|
Suffolk Books
BEST
center moriches,
NY,
USA
|
$21.71
$29.95
|
|
- Edition:
- 2020, Morgan & Claypool
-
Paperback,
Very Good
|
- Details:
- ISBN:
1681738546
- ISBN-13:
9781681738543
- Publisher:
Morgan & Claypool
- Published:
2020
- Language:
English
- Alibris ID:
17945944026
|
- Shipping Options:
- Standard Shipping: $4.65
Choose your shipping method in Checkout. Costs may vary based on destination.
|
- Seller's Description:
- Very good. Fast Shipping-Safe and Secure 7 days a week!
|
|
|
| Hide Details ▴ |
|
|
|
|
