Non-Fiction, Computing & Internet
Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II

, ,
Paperback Published on: 03/01/2024
£64.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.
View other formats and editions

Publisher information

  • Publisher: Springer International Publishing AG
  • ISBN: 9783031505201
  • Number of pages: 340
  • Dimensions: 235 x 155 mm
  • Languages: English

Customer Reviews

You may also like...

The Essential Turing
B. Jack. Copeland
£30.00
Art of Computer Programming, Volume 1, Fascicle 1, The
Donald E. Knuth
£21.99
All of Statistics
Larry Wasserman
£49.99
An Introduction to Modern Mathematical Computing
Jonathan M. Borwein
£44.99
Post-Quantum Cryptography
Data Structures and Algorithms
Alfred V. Aho
£80.99
Data Analysis with Open Source Tools
Philipp K. Janert
£31.99
MATLAB Demystified
David McMahon
£26.99
Integer Programming and Combinatorial Optimization
George Nemhauser
£44.99
Concise Computer Mathematics
Ovidiu Bagdasar
£54.99
Probability Models
John Haigh
£29.99
Numerical Recipes 3rd Edition
William H. Press
£104
Mathematical Logic for Computer Science
Mordechai Ben-Ari
£54.99
An Invitation to 3-D Vision
Yi Ma
£70.50
Discrete Mathematics for Computing
Peter Grossman
£69.99
Introduction to Lattices and Order
B. A. Davey
£44.99