Verified Software. Theories, Tools, and Experiments: 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers: 11294 (Lecture Notes in Computer Science, 11294) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Search results for Verified Software. Theories, Tools, and Experiments:...
Stock Image
Verified Software. Theories, Tools, and Experiments. 10th International Conference, VSTTE 2018, Oxford, UK, July 1819, 2018, Revised Selected Papers.
Published by
Cham, Springer International Publishing., 2018
ISBN 10: 3030035913
ISBN 13: 9783030035914
Used
Softcover
First Edition
Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germany
Seller rating 4 out of 5 stars
1st ed. 2018. 16 x 24 cm. XVI, 345 S. XVI, 345 p. 83 illus., 10 illus. in color. (Lecture Notes in Computer Science; Programming and Software Engineering). Sprache: Englisch. Seller Inventory # 682VB
Stock Image
Verified Software. Theories, Tools, and Experiments.
Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germany
Seller rating 4 out of 5 stars
xvi, 345 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch. Seller Inventory # 2776MB
Stock Image
Verified Software. Theories, Tools, and Experiments (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 5 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # 0aef61b6282820652373863729047ada
Buy New
£ 40.78
£ 5.83 shipping
Ships from Italy to U.S.A.
Ships from Italy to U.S.A.
Quantity: Over 20 available
Seller Image
Verified Software : Theories, Tools, and Experiments; 10th International Conference, Vstte 2018, Oxford, Uk, July 18-19, 2018, Revised Selected Papers
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 33926981-n
Seller Image
Verified Software : Theories, Tools, and Experiments; 10th International Conference, Vstte 2018, Oxford, Uk, July 18-19, 2018, Revised Selected Papers
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 33926981
Stock Image
Verified Software. Theories, Tools, and Experiments: 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783030035914_new
Buy New
£ 50.80
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Verified Software : Theories, Tools, and Experiments; 10th International Conference, Vstte 2018, Oxford, Uk, July 18-19, 2018, Revised Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 33926981-n
Buy New
£ 50.79
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Verified Software. Theories, Tools, and Experiments
Published by
Springer International Publishing Nov 2018, 2018
ISBN 10: 3030035913
ISBN 13: 9783030035914
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume constitutes the thoroughly refereed post-conferenceproceedings of the 10th International Conference on Verified Software:Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018.The 19 full paperspresented were carefully revised and selected from 24 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. 364 pp. Englisch. Seller Inventory # 9783030035914
Stock Image
Verified Software. Theories Tools And
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # V9783030035914
Seller Image
Verified Software : Theories, Tools, and Experiments; 10th International Conference, Vstte 2018, Oxford, Uk, July 18-19, 2018, Revised Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 33926981
Buy Used
£ 55.94
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available