Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Verified Software: Theories, Tools and Experiments

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

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 06841788

Založba Springer International Publishing AG, oktober 2014

This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International... Celoten opis

Koda Libristo: 06841788

114 b

46.95 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Kognitive Kooperation in der Produktionssteuerung Tobias Wissing

Mehka

33.69 €

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

Trda

18.51 €

The Pug who wanted to be a Dinosaur Bella Swift

Mehka

8.09 €

TOKYO STOREFRONTS POSTCARD BOOK (ARTBOOK VO JAPONAIS) MATEUSZ URBANOWICZ

Mehka

36.12 €

Histoire des jésuites Bled

Mehka

27.01 €

Odontología deportiva: una perspectiva de futuro Ipseeta Menon

Mehka

60.30 €

Confrontacion con el Santo Oficio Eduardo Aguirre Cancino

Adobe ePub DRM

8.90 €

REVISTA TURIA 107

Knjiga

16.79 €

Der Europäische Verfassungsvertrag Klemens H. Fischer

Mehka

76.60 €

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

MP3

3.03 €

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

Mehka

57.88 €

Towards Ancestral Lands Fir Bolg

Zvočni CD

19.93 €

Percevoir : monde et langage Socks

Koledar

37.84 €

Mecanismes de Sequestration de la Tubuline Isabelle Jourdain

Mehka

66.98 €

Huculskie peregrynacje weselne Świątek Adrianna

Mehka

16.49 €

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

Mehka

20.84 €

Encens Satya Super hit - 10 grs

binding.

2.32 €

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

Mehka

10.11 €

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

Mehka

15.07 €

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

Mehka

24.48 €

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

Mehka

49.07 €

Mediunidade Trevas Ou Luz Ricardo Max

Mehka

8.09 €

Pfadfinder Majo Probst

Mehka

21.04 €

Airport Simulator 2019 (PlayStation PS4)

Digitalni CD

32.27 €

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.