Free delivery for orders over 69.99€

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 €

Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

Verified Software: Theories, Tools, Experiments

Name: Verified Software: Theories, Tools, Experiments
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01660430
Price: 58.31 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.31 €

114.05 лв

In stock at our supplier Shipping in 10-16 days

Up to 30 days for returns

Customers also purchased

Puzzle Podzim v Turecku

Jigsaw puzzle

9.66 € 18.90 лв

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

Paperback

15.73 € 30.77 лв

Warrior Cats, Gefährliche Spuren Erin Hunter

Paperback

11.10 € 21.71 лв

Das Konzept des Sozialkapitals Sandra Seubert

Paperback

36.97 € 72.31 лв

Die Cum-Ex-Files Oliver Schröm

Paperback

17.12 € 33.48 лв

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

Paperback

37.53 € 73.41 лв

Unter Eis Falk Richter

Paperback

18.97 € 37.10 лв

Marceline Desbordes-Valmore Stefan Zweig

Hardback

23.55 € 46.05 лв

A Psicologia dos vínculos que nos afetam Gelci Nogueira

Paperback

51.52 € 100.77 лв

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

Hardback

40.47 € 79.14 лв

Wilde Westen Barbara Zhanial

Paperback

83.30 € 162.93 лв

Streichtrio op. 3 und Serenade op. 8 Ssens Trio

Audio CD

25.10 € 49.09 лв

Hundeschwätzchen Christine Bienert

Paperback

11.42 € 22.33 лв

Go cửa thiền NGUY N MINH

Paperback

17.17 € 33.58 лв

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

Blu-ray

13.11 € 25.64 лв

Sonnenuntergang bei De Koog (Puzzle) Elke Krone

Game

46.95 € 91.82 лв

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.