Computer Aided Verification 22nd International Conference Cav 2010 Edinburgh Uk July 2010 Proceedings Lncs 6174(2010th Edition)
Authors:
Tayssir Touili ,Byron Cook ,Paul Jackson
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 364214294X, 978-3642142949
Book publisher: Springer
Frequently Bought Together
Forensic And Investigative Accounting - 10th Edition
G. Stevenson Smith D. Larry Crumbley
ISBN: 0808056301, 9780808056300
$0 $200.00
Programming Microsoft Visual Basic Net - 1st Edition
Francesco Balena
ISBN: 007285054X, 978-0072850543
$0 $57.00
Business Law Text and Cases - 11th Edition
Kenneth W. Clarkson
ISBN: 324655223, 978-0324655223
$0 $11.33
Principles of Auditing and Other Assurance Services - 19th edition
Ray Whittington
ISBN: 978-0077804770, 78025613, 77804775, 978-0078025617
$0 $19.05
Microsoft Teams 2021 The Concise Microsoft Teams A Z Mastery Guide For All Users - 1st Edition
Tech Demystified
ISBN: 979-8506070269
$0 $11.14
Human Computer Interaction Interact 2021 18th Ifip Tc 13 International Conference Bari Italy August 30 September 3 2021 Proceedings Part Ii Lncs 12933 - 1st Edition
Carmelo Ardito
ISBN: 3030856151, 978-3030856151
$0 $110.11
Switch Research Calm Planners Bundle - Psychologist-Developed Goals Planner -
Switch Research
ISBN: B0CH8TWD9H
$0 $60.00