Get Free Shipping on orders over $79
Verified Software. Theories, Tools, and Experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13â"14, 2019, Revised Selected Papers - Jorge A. Navas

Verified Software. Theories, Tools, and Experiments

11th International Conference, VSTTE 2019, New York City, NY, USA, July 13â"14, 2019, Revised Selected Papers

By: Jorge A. Navas (Editor), Supratik Chakraborty (Editor)

Paperback | 14 March 2020

At a Glance

Paperback


$84.99

or 4 interest-free payments of $21.25 with

 or 

Ships in 5 to 7 business days

This volume constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2019, held in New York City, NY, USA, in July 2019.
The 9 full papers presented were carefully revised and selected from 17 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.

More in Programming & Scripting Languages

Coding For Dummies, All New Edition : For Dummies (Computer/Tech) - Paul McFedries
The C Programming Language : Prentice Hall Software - Brian Kernighan

RRP $107.04

$72.99

32%
OFF
Python All-in-One For Dummies : 3rd Edition - John C. Shovic

RRP $74.95

$55.75

26%
OFF
Introduction to Programming Languages - Gordon Hurley
Typesetting Mathematics With Latex - Robert Legato
C# 12 in a Nutshell : The Definitive Reference - Joseph Albahari

RRP $133.00

$64.75

51%
OFF
Python Automation For Dummies : For Dummies (Computer/Tech) - Alan Simpson
PHP, MySQL, & JavaScript All-In-One For Dummies : For Dummies - Richard Blum
Learning Go : An Idiomatic Approach to Real-World Go Programming - Jon Bodner
Programming Rust : Fast, Safe Systems Development 2nd Edition - Jason Orendorff
Python Cookbook : Recipes for Mastering Python : 3rd Edition - David Beazley