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 € DPD courier 3.99 € DPD point 2.99 €

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: 51.69 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

127 b

51.69 € 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.59 €

Percevoir : monde et langage Socks

Calendar

41.99 €

The Pug who wanted to be a Dinosaur Bella Swift

Paperback

10.50 €

TOKYO STOREFRONTS POSTCARD BOOK (ARTBOOK VO JAPONAIS) MATEUSZ URBANOWICZ

Paperback

29.69 €

REVISTA TURIA 107

Book

18.79 €

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

MP3

3.49 €

Odontología deportiva: una perspectiva de futuro Ipseeta Menon

Paperback

66.99 €

Huculskie peregrynacje weselne Świątek Adrianna

Paperback

18.89 €

Concevoir des espaces scolaires pour le bien-être et la réussite Mazalto

Paperback

23.29 €

Mediunidade Trevas Ou Luz Ricardo Max

Paperback

8.89 €

Pfadfinder Majo Probst

Paperback

24.90 €

Love & Passion Jana Reich

Paperback

24.00 €

Airport Simulator 2019 (PlayStation PS4)

Digital CD

35.09 €

Antropología de la mujer : cognición, lengua e ideología cultural María Jesús Buxó Rey

Paperback

17.19 €

Belluguets, Carlota, la granota, Educació Infantil, 3 anys. 3 trimestre Anna Gassó Jimeno

Paperback

12.24 €

Der Europäische Verfassungsvertrag Klemens H. Fischer

Paperback

87.99 €

Towards Ancestral Lands Fir Bolg

Audio CD

21.69 €

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

Paperback

64.39 €

Mecanismes de Sequestration de la Tubuline Isabelle Jourdain

Paperback

74.39 €

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

Paperback

27.19 €

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

Paperback

54.99 €

Vergleich Der Substantivflexion Im Gotischen Und Althochdeutschen Andy Schalm

Paperback

17.95 €

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.