Computer Aided Verification: 5th International Conference, Cav'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings
Computer Aided Verification: 5th International Conference, Cav'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings
$67.99Paperback
In stock, ships in 1-2 business days
Free standard shipping on orders over $40. ISBN 9783540569220
1
Details
- Format
- Paperback
- ISBN-13
- 9783540569220
- Publisher
- Springer
- Published
- June 16, 1993
- Pages
- 510
- Weight
- 25.6 oz
- Subject
- Mathematics
More by Costas Courcoubetis
All booksPopular in Mathematics
Browse Mathematics
How to Lie with Statistics
Darrell Huff
$11.99
McGraw-Hill Education Algebra I Review and Workbook
Sandra Luna McCune
$13.99
Everything Is Predictable: How Bayesian Statistics Explain Our World
Tom Chivers
$16.99
How Not to Be Wrong: The Power of Mathematical Thinking
Jordan Ellenberg
$15.99
Naked Statistics: Stripping the Dread from the Data
Charles Wheelan
$14.99
McGraw-Hill Education Algebra II Review and Workbook
Christopher Monahan
$12.99
Is Math Real?: How Simple Questions Lead Us to Mathematics' Deepest Truths
Eugenia Cheng
$15.99
How to Solve It: A New Aspect of Mathematical Method
George Polya
$17.99
Mathematics for Human Flourishing
Francis Su
$14.99
The Signal and the Noise: Why So Many Predictions Fail--But Some Don't
Nate Silver
$16.99
Infinite Powers: How Calculus Reveals the Secrets of the Universe
Steven Strogatz
$16.99
What Is Mathematics?: An Elementary Approach to Ideas and Methods
Richard Courant
$23.99