Software Verification(1st Edition)
Authors:
Roderick Bloem ,Rayna Dimitrova ,Chuchu Fan ,Natasha Sharygina
In Stock: 2 Left
Shipment time
Expected shipping within 2 - 3 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 3030955605, 978-3030955601
Book publisher: Springer
Customers also bought these books (16)
Recursive Filtering For 2D Shift Varying Systems With Communication Constraints - 1st Edition
Jinling Liang
ISBN: 1000429296, 9781000429299
$105 $150.00
Computer Organization and Design The Hardware Software Interface - 5th edition
David A. Patterson
ISBN: 124077269, 978-0124077263
$0 $62.30
The Architecture of Computer Hardware, Systems Software and Networking An Information Technology App - 5th edition
Irv Englander
ISBN: 1118322630, 978-1118322635
$0 $14.79
An Introduction To Social Entrepreneurship -
Rafael Ziegler
ISBN: 1848446225, 9781848446229
$0 $30.00
Specification Of Software Systems - 1st Edition
V.S. Alagar
ISBN: 1447126440, 978-1447126447
$0 $54.99
Principles of Information Systems - 13th edition
Ralph Stair
ISBN: 1305971779, 978-1305971776
$0 $44.61
The Brand Strategy Canvas A One Page Guide For Startups - 1st Edition
Patrick Woods
ISBN: 148425158X, 978-1484251584
$0 $18.94
An Elephant And Piggie Biggie Volume 2 - 1st Edition
Mo Willems
ISBN: 1368045707, 978-1368045704
$0 $7.49
Popular Among Students (17)
Brain Games Wipe Off Learn To Write Numbers - 1st Edition
Publications International Ltd
ISBN: 1645586928, 978-1645586920
$0 $5.75
What Will Santa Wear A Funny Christmas Gift Book For Kids Ages 4 8 - 1st Edition
Tammy Lempert
ISBN: 965784102X, 978-9657841020
$0 $6.98
What Fresh Hell Is This Perimenopause Menopause Other Indignities And You - 1st Edition
Heather Corinna
ISBN: 0306874768, 978-0306874765
$0 $10.17
Hardware And Software Verification And Testing 12th International Haifa Verification Conference Hvc 2016 Haifa Israel November 14 17 2016 Proceedings Lncs 10028 - 1st Edition
Roderick Bloem
ISBN: 3319490516, 978-3319490519
$0 $54.99
Hardware And Software Verification And Testing 11th International Haifa Verification Conference Hvc 2015 Haifa Israel November 17 19 2015 Proceedings Lncs 9434 - 1st Edition
Nir Piterman
ISBN: 3319262866, 978-3319262864
$0 $54.99
Hardware And Software Verification And Testing 8th International Haifa Verification Conference Hvc 2012 Haifa Israel November 6 8 2012 Revised Selected Papers - 1st Edition
Armin Biere
ISBN: 3642396100, 978-3642396106
$0 $49.99
Hardware And Software Verification And Testing Second International Haifa Verification Conference Hvc 2006 Haifa Israel October 23 26 2006 - 1st Edition
Eyal Bin
ISBN: 354070888X, 978-3540708889
$0 $54.99
Hardware And Software Verification And Testing 9th International Haifa Verification Conference Hvc 2013 Haifa Israel November 5 7 2013 Proceedings Lncs 8244 - 2013th Edition
Valeria Bertacco
ISBN: 3319030760, 978-3319030760
$0 $54.99
Communication In Multiagent Systems Agent Communication Languages And Conversation Policies - 1st Edition
Marc Phillipe Huget
ISBN: 354040385X, 978-3540403852
$0 $44.78
Algorithmics The Spirit Of Computing By David Harel - 1st Edition
David Harel
ISBN: B01K0TG1NK
$63.74 $91.06
Sentic Computing Techniques Tools And Applications - 1st Edition
Erik Cambria
ISBN: B00E0MR0XO, 978-9400750708
$0 $12.55
A Praying Congregation The Art Of Teaching Spiritual Practice - 1st Edition
Jane E Vennard
ISBN: 156699313X, 978-1566993135
$0 $12.27
Financial Cryptography And Data Security Fc 2022 International Workshops Codecfin Defi Voting Wtsc Grenada May 6 2022 Revised Selected Papers - 1st Edition
Shinichiro Matsuo
ISBN: 3031324145, 978-3031324147
$0 $35.13