Verified Software Theories Tools and Experiments - - Books - Springer Nature Switzerland AG - 9783030035914 - November 24, 2018
In case cover and title do not match, the title is correct

Verified Software Theories Tools and Experiments 1st ed. 2018 edition

Get an email once the item is available
Do you have a profile? Log in

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018. The 19 full papers presented were carefully revised and selected from 24 submissions.

345 pages, 10 Illustrations, color; 91 Illustrations, black and white; XVI, 345 p. 101 illus., 10 il

Media Books     Book
Released November 24, 2018
ISBN13 9783030035914
Publishers Springer Nature Switzerland AG
Pages 345
Dimensions 150 × 220 × 20 mm   ·   552 g
Language German  
Editor Piskac, Ruzica
Editor Rummer, Philipp

More from the same publisher