Description: Verified Software : Theorie, Tools, Experiments - 5th International Conference, Vstte 2013, Menlo Park, Ca, USA, May 17-19, 2013, Revised Selected Papers, Paperback by Cohen, Ernie (EDT); Rybalchenko, Andrey (EDT), ISBN 3642541070, ISBN-13 9783642541070, Like New Used, Free P&P in the UK This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013. The 17 revised full papers presented were carefully revised and selected from 35 submissions. The papers address a wide range of topics including education, requirements modeling, specification languages, specification/verification case-studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools, tool integration, benchmarks, challenge problems, and integrated verification environments.
Price: 63.22 GBP
Location: Castle Donington
End Time: 2025-01-28T12:46:37.000Z
Shipping Cost: 20 GBP
Product Images
Item Specifics
Return postage will be paid by: Buyer
Returns Accepted: Returns Accepted
After receiving the item, your buyer should cancel the purchase within: 30 days
Book Title: Verified Software : Theorie, Tools, Experiments - 5th Internation
Number of Pages: 345 Pages
Publication Name: Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
Language: English
Publisher: Springer-Verlag Berlin AND Heidelberg Gmbh & Co. KG
Item Height: 235 mm
Subject: Computer Science
Publication Year: 2014
Type: Textbook
Item Weight: 5504 g
Author: Ernie Cohen, Andrey Rybalchenko
Item Width: 155 mm
Series: Lecture Notes in Computer Science
Format: Paperback
