Free delivery for orders over 69.99 euro.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Verified Software: Theories, Tools, Experiments

Name: Verified Software: Theories, Tools, Experiments
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01660430
Price: 58.56 EUR
Availability: InStock
Author: Rajeev Joshi
ISBN: 9783642277047

4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings

Rajeev Joshi

Peter Müller

Andreas Podelski

Language

English

Book Paperback

Libristo code: 01660430

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, January 2012

This volume contains the proceedings of the 4th International Conference on Verified Software: Theor... Full description

Libristo code: 01660430

142 b

58.56 €

In stock at our supplier Shipping in 9-15 days

30-day return policy

Customers also purchased

Puzzle Podzim v Turecku

Jigsaw puzzle

9.50 €

Hundeschwätzchen Christine Bienert

Paperback

10.81 €

Warrior Cats, Gefährliche Spuren Erin Hunter

Paperback

10.51 €

Die Cum-Ex-Files Oliver Schröm

Paperback

16.28 €

Histoire et traditions des peuples Ngowe du Gabon Sergys-Dereck-Romaric Ndong-Ondo

Paperback

35.70 €

Das Konzept des Sozialkapitals Sandra Seubert

Paperback

35.70 €

Unter Eis Falk Richter

Paperback

18.00 €

A Psicologia dos vínculos que nos afetam Gelci Nogueira

Paperback

48.95 €

El Libro del Vermut: Un Barman Y Un Enólogo Celebran El Aperitivo Más Bebido del Mundo Shaun Byrne

Hardback

17.09 €

Marceline Desbordes-Valmore Stefan Zweig

Hardback

22.35 €

Wilde Westen Barbara Zhanial

Paperback

79.90 €

Go cửa thiền NGUY N MINH

Paperback

17.29 €

Guardians of the Galaxy. Vol.2, 1 Blu-ray Fred Raskin

Blu-ray

12.84 €

Sonnenuntergang bei De Koog (Puzzle) Elke Krone

Game

45.11 €

Les Cosaques: Drame En 5 Actes Et 9 Tableaux ARNAULT-A-F

Paperback

16.48 €

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.