Computer Aided Verification

Computer Aided Verification

,
Paperback Published on: 08/10/2020
£62.95
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.
View other formats and editions

Publisher information

  • Publisher: Saint Philip Street Press
  • ISBN: 9781013270987
  • Number of pages: 710
  • Dimensions: 279 x 216 x 36 mm
  • Weight: 1615g
  • Languages: English

Customer Reviews

You may also like...

Information
Luciano Floridi
£9.99
Cryptanalysis
Helen Fouche Gaines
£13.49
Quantum Computing since Democritus
Scott Aaronson
£48.00
How We Became Posthuman
N. Katherine Hayles
£21.00
All of Statistics
Larry Wasserman
£49.99
Dark Pools
Scott Patterson
£12.99
Networks
Guido Caldarelli
£9.99
Research Methods in Human-Computer Interaction
Jonathan Lazar
£56.95
The Mythical Man-Month
Understanding Beliefs
Nils J. Nilsson
£16.99
Convex Optimization
Stephen Boyd
£84.99
Information Theory, Inference and Learning Algorithms
David J. C. MacKay
£60.00
Causality
Judea Pearl
£57.00
The Annotated Turing
Charles Petzold
£24.00
Artificial Intelligence
Jack Copeland
£37.95
The Computer and the Brain
John von Neumann
£12.99