Go back
Automated Technology For Verification And Analysis Lecture Notes In Computer Science(1st Edition)
Authors:
Hung, Dang Van; Sokolsky, Oleg
Cover Type:Paperback
Condition:New
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Access to 30 Million+ solutions
Free ✝
Ask 50 Questions from expert
AI-Powered Answers
✝ 7 days-trial
Total Price:
$0
List Price: $54.99
Savings: $54.99(100%)
Solution Manual Includes
Access to 30 Million+ solutions
Ask 50 Questions from expert
AI-Powered Answers
24/7 Tutor Help
Detailed solutions for Automated Technology For Verification And Analysis Lecture Notes In Computer Science
Price:
$9.99
/month
Book details
ISBN: 3030591514, 9783030591519
Book publisher: Springer
Customers also bought these books
What Can Be Automated The Computer Science And Engineering Research Study - 1st Edition
Arden
ISBN: 0262010607, 9780262010603
$0 $1.00Frequently Bought Together
Stochastic Analysis And Mathematical Physics - 2001st Edition
A B Cruzeiro
ISBN: 0817642463, 978-0817642464
$0 $51.16
Principles of Auditing and Other Assurance Services - 19th edition
Ray Whittington
ISBN: 978-0077804770, 78025613, 77804775, 978-0078025617
$0 $19.05
The Tipping Point How Little Things Can Make A Big Difference - 1st Edition
Malcolm Gladwell
ISBN: 0316346624, 978-0316346627
$0 $11.39
Computer Science For CAPE Units 1 And 2 - 1st Edition
Dr O'Neil Duncan
ISBN: 9766570787, 9789766570781
$0 $34.57Top Reviews for Books
Michael H
( 4 )
"Delivery was considerably fast, and the book I received was in a good condition."