Non-Fiction, Computing & Technology, Computing Basics & Reference
Computer Aided Verification

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings

,
Paperback Published on: 02/07/2007
£44.99
No reviews yet, be the first
Free UK delivery on orders over £25
We can order this from the publisher
Usually dispatched within 3 weeks
Make and edit your lists in your account
No stock available in any shop.
We can order this from the publisher
Usually dispatched within 3 weeks
No stock available in any shop.

Publisher information

  • Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
  • ISBN: 9783540733676
  • Number of pages: 562
  • Dimensions: 235 x 155 mm
  • Languages: English

Customer Reviews

You may also like...

Cryptanalysis
Helen Fouche Gaines
£13.49
Quantum Computing since Democritus
Scott Aaronson
£48.00
Pattern Recognition and Machine Learning
Christopher M. Bishop
£74.99
Data-Driven Design
Rochelle King
£39.99
All of Statistics
Larry Wasserman
£49.99
Mathematical Biology II
James D. Murray
£96.50
Networks
Guido Caldarelli
£9.99
Don't Make Me Think, Revisited
Steve Krug
£33.49
Understanding Beliefs
Nils J. Nilsson
£16.99
Information Theory, Inference and Learning Algorithms
David J. C. MacKay
£60.00
The Annotated Turing
Charles Petzold
£24.00
AQA A level Computer Science
Bob Reeves
£44.00
Introducing Artificial Intelligence
Henry Brighton
£8.99
Polygon Mesh Processing
Mario Botsch
£69.99
Artificial Intelligence
Jack Copeland
£37.95
The Computer and the Brain
John von Neumann
£12.99