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

Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Verified Software: Theories, Tools and Experiments

Name: Verified Software: Theories, Tools and Experiments
Brand: Springer International Publishing AG
SKU: 06841788
Price: 48.99 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

48.99 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Kognitive Kooperation in der Produktionssteuerung Tobias Wissing

Paperback

39.00 €

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

Hardback

21.90 €

The Pug who wanted to be a Dinosaur Bella Swift

Paperback

10.50 €

TOKYO STOREFRONTS POSTCARD BOOK (ARTBOOK VO JAPONAIS) MATEUSZ URBANOWICZ

Paperback

30.59 €

Vergleich Der Substantivflexion Im Gotischen Und Althochdeutschen Andy Schalm

Paperback

17.95 €

Odontología deportiva: una perspectiva de futuro Ipseeta Menon

Paperback

63.32 €

Confrontacion con el Santo Oficio Eduardo Aguirre Cancino

Adobe ePub DRM

8.29 €

REVISTA TURIA 107

Book

16.59 €

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

MP3

2.79 €

Towards Ancestral Lands Fir Bolg

Audio CD

20.70 €

Histoire des jésuites Bled

Paperback

25.79 €

Der Sonne so nah Axel S. Meyer

Hardback

24.00 €

Mecanismes de Sequestration de la Tubuline Isabelle Jourdain

Paperback

70.29 €

Love & Passion Jana Reich

Paperback

24.00 €

Pfadfinder Majo Probst

Paperback

24.90 €

Airport Simulator 2019 (PlayStation PS4)

Digital CD

33.50 €

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

Paperback

54.99 €

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

Paperback

12.29 €

Mediunidade Trevas Ou Luz Ricardo Max

Paperback

8.19 €

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

Paperback

101.99 €

Percevoir : monde et langage Socks

Calendar

39.69 €

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

Paperback

60.79 €

Teoría de la figura humana Peter Paul Rubens

Paperback

10.59 €

Encens Satya Super hit - 10 grs

binding.

1.29 €

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.