Automated Theorem Proving In Software Engineering(1st Edition)
Authors:
J M P Schumann, Johann M Schumann, D W Loveland
In Stock
Include with your book
Free shipping: April 23, 2024Popular items with books
Total Price:
$0
Book details
ISBN: 3540679898, 9783540679899
Book publisher: Springer
Customers also bought these books
Advanced Engineering Mathematics - 9th Edition
ERWIN KREYSZIG
ISBN: 0471488852, 978-0471488859
$0 $233.95
Systems Analysis and Design - 9th Edition
Shelly Cashman
ISBN: 978-1133274056, 9780538481618, 1133274056, 538481617, 978-1133274636
$0 $280.95
Systems analysis and design - 8th Edition
kenneth e. kendall
ISBN: 135094909, 013608916X, 9780135094907, 978-0136089162
$0 $341.21
Systems analysis and design in a changing world - 5th edition
John W. Satzinger
ISBN: 9780324593778, 1423902289, 9781305117204, 324593775, 978-1423902287
$0 $223.95
Systems analysis and design - 5th edition
Alan Dennis
ISBN: 978-1118057629, 1118057627, 978-111880817
$0 $210.95
Systems Analysis and Design - 10th edition
Shelly Cashman
ISBN: 1285422708, 1285171349, 9781285422701, 978-1285171340
$0 $199.95
Professional Team Foundation Server 2013 - 1st Edition
Steven St Jean
ISBN: 1118836413, 9781118836415
$0 $32.49
Requirements Engineering For Software And Systems - 2nd Edition
Phillip A Phillip A Laplante
ISBN: 1466560827, 9781466560826
$0 $90.00
Software Solutions For Engineers And Scientists - 1st Edition
Julio Sanchez
ISBN: 1351835890, 9781351835893
$0 $128.00
Frequently Bought Together
Business Statistics A Decision Making Approach - 10th Edition
David F. Groebner
ISBN: 134496498, 978-0134496498
$0 $306.65
Strategic Planning And Organizational Culture For Public Safety Agencies Leadership + Destinations Strategic Advantage - 1st Edition
Stephen L Kent
ISBN: B09L9QT57W, 979-8483224488
$0 $29.95
Introduction to Global Business Understanding the International Environment & Global Business Functi - 2nd edition
Julian Gaspar
ISBN: 1305501187, 9780547152127, 547152124, 9781111824259, 1111824258, 978-1305501188
$0 $67.65
International Business Law And Its Environment - 10th Edition
Richard Schaffer
ISBN: 1305972597, 978-1305972599
$0 $299.95
Let There Be Money Understanding Modern Monetary Theory And Basic Income - 1st Edition
Scott Santens
ISBN:
$0 $5.95
Unleashing Web 2.0 From Concepts To Creativity - 1st Edition
Gottfried Vossen
ISBN: 0123740347, 9780123740342
$0 $64.00
Software Testing And Quality Assurance Theory And Practice - 1st Edition
Sagar Naik
ISBN: 0471789119, 9780471789116
$0 $147.75