Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers - Lecture Notes in Computer Science - - Books - Springer Nature Switzerland AG - 9783030415990 - March 14, 2020
In case cover and title do not match, the title is correct

Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers - Lecture Notes in Computer Science 2020 edition

Price
$ 54.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 10 - 16

Our customers say:

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

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.

193 pages, 30 Illustrations, color; 191 Illustrations, black and white; XVI, 193 p. 221 illus., 30 i

Media Books     Paperback Book   (Book with soft cover and glued back)
Released March 14, 2020
ISBN13 9783030415990
Publishers Springer Nature Switzerland AG
Pages 193
Dimensions 150 × 220 × 10 mm   ·   454 g
Language German  
Editor Chakraborty, Supratik
Editor Navas, Jorge A.

Mere med samme udgiver