Description: Verified Software: Theories, Tools, Experiments Please note: this item is printed on demand and will take extra time before it can be dispatched to you (up to 20 working days). 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings Author(s): Rajeev Joshi, Peter Muller, Andreas Podelski Format: Paperback Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Germany Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K ISBN-13: 9783642277047, 978-3642277047 Synopsis This volume contains the proceedings of the 4th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2012, held in Philadelphia, PA, USA, in January 2012. The 20 revised full papers presented together with 2 invited talks and 2 tutorials were carefully revised and selected from 54 initial submissions for inclusion in the book. The goal of the VSTTE conference is to advance the state of the art through the interaction of theory development, tool evolution, and experimental validation. The papers address topics such as: specification and verification techniques, tool support for specification languages, tool for various design methodologies, tool integration and plug-ins, automation in formal verification, tool comparisons and benchmark repositories, combination of tools and techniques, customizing tools for particular applications, challenge problems, refinement methodologies, requirements modeling, specification languages, specification/verification case-studies, software design methods, and program logic.
Price: 38.61 GBP
Location: Aldershot
End Time: 2025-01-12T09:11:09.000Z
Shipping Cost: 28.23 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: 60 days
Return policy details:
Book Title: Verified Software: Theories, Tools, Experiments
Number of Pages: 326 Pages
Language: English
Publication Name: Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings
Publisher: Springer-Verlag Berlin AND Heidelberg Gmbh & Co. KG
Publication Year: 2012
Subject: Computer Science
Item Height: 235 mm
Type: Textbook
Author: Andreas Podelski, Rajeev Joshi, Peter Muller
Series: Lecture Notes in Computer Science
Item Width: 155 mm
Format: Paperback
