Isbn: 9783030415990 - verified software. theories, tools, and experiments: 11th international conference, vstte 2019, new york city, ny, usa, july 13–14, 2019, revised ... and software engineering, band 12031) (4 Ergebnisse)

Zustand: New. In English.

Paperback. Zustand: Brand New. revised edition. 212 pages. 9.25x6.10x0.71 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.…

Taschenbuch. Zustand: Neu. Verified Software. Theories, Tools, and Experiments | 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers | Supratik Chakraborty (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvi | Englisch | 2020 | Springer | EAN 9783030415990 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…