Get Free Shipping on orders over $0
Lecture Notes in Computer Science : 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23â"24, 2023, Revised Selected Papers - Andrew Reynolds
eTextbook alternate format product

Instant online reading.
Don't wait for delivery!

Lecture Notes in Computer Science

15th International Conference, VSTTE 2023, Ames, IA, USA, October 23â"24, 2023, Revised Selected Papers

By: Andrew Reynolds (Editor), Serdar Tasiran (Editor)

Paperback | 30 August 2024

At a Glance

Paperback


$84.99

or 4 interest-free payments of $21.25 with

 or 

Ships in 5 to 7 business days

This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23-24, 2023.



The 6 full papers presented in this volume were carefully reviewed and selected from 13 submissions. They focus on requirements modeling, specification languages, software design methods, automatic code generation, refinement methodologies, and more.

More in Artificial Intelligence

Empire of AI : Inside the reckless race for total domination - Karen Hao
How We Learn : The New Science of Education and the Brain - Stanislas Dehaene
Co-Intelligence : Living and Working with AI - Ethan Mollick

RRP $36.99

$29.75

20%
OFF
Artificial Intelligence : A Modern Approach, 4th Global Edition - Peter Norvig
Handbook of Intelligent Robots : Theory, Methods and Applications - Humberto Sossa-Azuela
Raising AI : An Essential Guide to Parenting Our Future - De Kai