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.

Automated Technology for Verification and Analysis

14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Cyrille Artho

Axel Legay

Doron Peled

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 13938039

Založba Springer International Publishing AG, september 2016

This book constitutes the proceedings of the 14th International Symposium on Automated Technology fo... Celoten opis

Koda Libristo: 13938039

118 b

48.42 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

The Boy From Nowhere Grigi Valandy

Mehka

15.73 €

Natya Shala

Mehka

15.54 €

Liquidi. Le sostanze che scorrono nella nostra vita Mark Miodownik

Mehka

21.76 €

Standard contre standards Gabrielle Beguin

Mehka

23.65 €

»Tarifbindung« durch betriebliche Übung. Charlotte Jaekel

Mehka

94.44 €

Derrière l'écran K.L. Blackmoore

Mehka

12.42 €

Churpfalzbaierisches Regierungsblatt Anonym

Mehka

20.64 €

Rochefiere: Etudes Humaines Monteil-E

Mehka

23.85 €

Fussball als Kulturphanomen. Was macht den Fussball so attraktiv? Maximilian Pfannschmidt

Mehka

15.14 €

La gestión de eventos y productos turísticos INMACULADA OCAÑA

Mehka

41.80 €

Gastronomie et cuisine valencienne : Castellón, Valence et Alicante ALEU Oriol

Mehka

10.72 €

Maquinaria de obras públicas III : maquinaria específica y elementos auxiliares PEDRO BARBER LLORET

Mehka

14.73 €

Baukosten Senken Ernst G. Brehmer

Mehka

57.44 €

This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016. The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. They were organized in topical sections named: keynote; Markov models, chains, and decision processes; counter systems, automata; parallelism, concurrency; complexity, decidability; synthesis, refinement; optimization, heuristics, partial-order reductions; solving procedures, model checking; and program analysis.