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.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Verified Software: Theories, Tools and Experiments

Name: Verified Software: Theories, Tools and Experiments
Brand: Springer International Publishing AG
SKU: 06841788
Price: 49.26 EUR
Availability: InStock
Author: Dimitra Giannakopoulou
ISBN: 9783319121536

6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Dimitra Giannakopoulou

Daniel Kroening

Language

English

Book Paperback

Libristo code: 06841788

Publishers Springer International Publishing AG, October 2014

This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International... Full description

Libristo code: 06841788

120 b

49.26 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Kognitive Kooperation in der Produktionssteuerung Tobias Wissing

Paperback

37.40 €

Charles Dickens: Oliver Twist. Vollständige Neuausgabe DICKENS CHARLES

Hardback

19.60 €

The Pug who wanted to be a Dinosaur Bella Swift

Paperback

8.64 €

TOKYO STOREFRONTS POSTCARD BOOK (ARTBOOK VO JAPONAIS) MATEUSZ URBANOWICZ

Paperback

33.88 €

Vergleich Der Substantivflexion Im Gotischen Und Althochdeutschen Andy Schalm

Paperback

16.08 €

Odontología deportiva: una perspectiva de futuro Ipseeta Menon

Paperback

63.64 €

Confrontacion con el Santo Oficio Eduardo Aguirre Cancino

Adobe ePub DRM

9.84 €

REVISTA TURIA 107

Book

18.09 €

a a a a a a a a a a a a Rider Tiger Rider

MP3

3.41 €

Towards Ancestral Lands Fir Bolg

Audio CD

20.80 €

Histoire des jésuites Bled

Paperback

28.65 €

Der Sonne so nah Axel S. Meyer

Hardback

20.20 €

Mecanismes de Sequestration de la Tubuline Isabelle Jourdain

Paperback

70.68 €

Love & Passion Jana Reich

Paperback

21.41 €

Pfadfinder Majo Probst

Paperback

22.21 €

Airport Simulator 2019 (PlayStation PS4)

Digital CD

33.68 €

Die Versorgung des Brandverletzten im Katastrophenfall Band 2 P. R. Zellner

Paperback

51.57 €

Les Grecs, Ballet-Pantomime En Deux Actes Blache-F-A

Paperback

12.66 €

Mediunidade Trevas Ou Luz Ricardo Max

Paperback

8.54 €

Actitud de los docentes hacia un nuevo modelo educativo Gilberto Hernández Barrera

Paperback

25.83 €

Percevoir : monde et langage Socks

Calendar

39.91 €

Contribution La Mod lisation Num rique de la R ponse Sismique Abdelghani Seghir

Paperback

61.13 €

Teoría de la figura humana Peter Paul Rubens

Paperback

11.86 €

Encens Satya Super hit - 10 grs

binding.

2.20 €

This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully revised and selected from 34 submissions. The papers are organized in topical sections such as analysis: understanding and explanation; verification frameworks and applications; hypervisors and dynamic data structures; certification; real time and security.