Non-Fiction, Computing & Internet
Software Verification

Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers

, , ,
Paperback Published on: 22/02/2022
£49.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 Nature Switzerland AG
  • ISBN: 9783030955601
  • Number of pages: 197
  • Dimensions: 235 x 155 mm
  • Languages: English

Customer Reviews

You may also like...

LISP, Lore, and Logic
W. Richard Stark
£74.99
Computability Theory
S. Barry Cooper
£105
Cryptanalysis
Helen Fouche Gaines
£13.49
Art of Computer Programming, Volume 1, Fascicle 1, The
Donald E. Knuth
£21.99
An Introduction to Modern Mathematical Computing
Jonathan M. Borwein
£44.99
Post-Quantum Cryptography
Data Analysis with Open Source Tools
Philipp K. Janert
£31.99
MATLAB Demystified
David McMahon
£26.99
Computational Complexity
Sanjeev Arora
£57.00
Concise Computer Mathematics
Ovidiu Bagdasar
£54.99
Mathematical Logic for Computer Science
Mordechai Ben-Ari
£54.99
The Joy of Sets
Keith Devlin
£50.99
An Invitation to 3-D Vision
Yi Ma
£70.50
Discrete Mathematics for Computing
Peter Grossman
£69.99
Turing Computability
Robert I. Soare
£74.99
Introduction to Lattices and Order
B. A. Davey
£44.99