ISBN: 9783319723075 - verified software. theories, tools, and experiments: 9th international conference, vstte 2017, heidelberg, germany, july 22-23, 2017, revised selected ... and software engineering, band 10712) (14 Ergebnisse)

Zustand: New.

Zustand: As New. Unread book in perfect condition.

Zustand: New.

Zustand: New.

Zustand: New. In English.

Zustand: As New. Unread book in perfect condition.

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

Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017.The 12 full papers presented were carefully revised and selected from 20 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 | 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers | Andrei Paskevich (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiii | Englisch | 2017 | Springer | EAN 9783319723075 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Zustand: new. Questo è un articolo print on demand.

PF. Zustand: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017.The 12 full papers presented were carefully revised and selected from 20 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. 228 pp. Englisch. …

Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume constitutes the thoroughly refereed post-conferenceproceedings of the 9th International Conference on Verified Software:Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 228 pp. Englisch. …