Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
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 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Verification, Model Checking, and Abstract Interpretation

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Verification, Model Checking, and Abstract Interpretation Ahmed Bouajjani
Koda Libristo: 15560990
Založba Springer International Publishing AG, januar 2017
This book constitutes the refereed proceedings of the 18th International Conference on Verification,... Celoten opis
? points 118 b
48.79 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Satires Contre Les Astronomes MERCIER-L-S / Knjiga Mehka
common.buy 13.02 €
MEURTRIERS SANS VISAGE Henning Mankell / Knjiga Mehka
common.buy 13.63 €
Malvadita Keselman / Zvočnica MP3
common.buy 3.53 €
Os animais tem alma? ERNESTO BOZZANO / Knjiga Mehka
common.buy 12.21 €
Viaggi attraverso le cose. Ediz. numerata Corrado Alvaro / Knjiga Mehka
common.buy 6.96 €
Batman - Svět Různí / Knjiga Trda
common.buy 18.28 €
ATS GRUPO B ADMINISTRACION ESPECIAL DE LA GENERALITAT VALENC EDITORIAL MAD / Knjiga Trda
common.buy 59.19 €
Kmalu
Mésopotamie - L'apparition de l'état, VIIe IIIe millénaires FOREST / Knjiga Knjiga
common.buy 79.30 €
Modèle de Hubbard étendu: Aspects électronique et magnétique Said Harir / Knjiga Mehka
common.buy 41.82 €
Feelgood-Management Ulrike Weber / Knjiga Mehka
common.buy 13.53 €
Lehrer sein! Johannes Baumann / Knjiga Mehka
common.buy 22.42 €
Aktuelle Rechtsfragen im Radsport Manfred Büchele / Knjiga Mehka
common.buy 54.65 €

This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017. The 27 full papers together with 3 invited keynotes presented were carefully reviewed and selected from 60 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Verification, Model Checking, and Abstract Interpretation
Avtor Ahmed Bouajjani, David Monniaux
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2017
Število strani 560
EAN 9783319522333
ISBN 3319522337
Koda Libristo 15560990
Založba Springer International Publishing AG
Teža 8657
Mere 155 x 235 x 31

Kategorije

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Remaking China's Great Cities Sam Liang / Knjiga Trda
common.buy 224.38 €
Climate Change and Mango Production Syed Atif Hasan Naqvi / E-knjiga Adobe ePub DRM
common.buy 216.50 €
INFINITY SAGA CAPT AMER WINTER SOLDIER A MARVEL STUDIOS / Knjiga Trda
common.buy 28.58 €
Applying the Scientific Method to Learn from Mistakes and Approach Truth Finlay MacRitchie / E-knjiga Adobe ePub DRM
common.buy 45.66 €
Amazing Writers: B2 (Collins Amazing People ELT Readers) Katerina Mestheneou / Zvočnica MP3
common.buy 7.47 €
Season's of a Mother's Heart Sally Clarkson / Knjiga Mehka
common.buy 11.31 €
Kmalu
Henry Demarest Lloyd and the Empire of Reform Chester Mcarthu Destler / Knjiga Trda
common.buy 148.51 €
Psychedelic Alien Monster: Cannabis College Ruled Notebook Cannabis Growers Press / Knjiga Mehka
common.buy 8.98 €
Speak Life: Restoring Healthy Communication in How You Think, Talk, and Pray Brady Boyd / Knjiga Mehka
common.buy 17.17 €
Technology, Modernity, and Democracy Eduardo Beira / Knjiga Trda
common.buy 159.72 €
Adventures of Hugh Jorgan Rock Harding / Knjiga Mehka
common.buy 10.09 €
KJV Holy Bible, Personal Size Giant Print Reference Bible, Deluxe Burgundy Leathersoft, Thumb Indexed, 43,000 Cross References, Red Letter, Comfort Pr Thomas Nelson / Knjiga Trda
common.buy 35.45 €
Red Earth Joel Canfield / Knjiga Mehka
common.buy 19.29 €
Oracle WebLogic Server 12c Administration I Exam 1Z0-133 Gustavo Garnica / Knjiga Mehka
common.buy 56.06 €
Top Poceni
Peppa Pig: Hide and Peek Peppa Pig / Knjiga Kartonka
common.buy 5.65 €
Damned If I Do, Dead If I Don't Hannah Bonde / Knjiga Mehka
common.buy 17.47 €
Shipcraft 24: Japanese Battleship s Fuso and Ise Classes Robert Brown / Knjiga Mehka
common.buy 18.28 €
ACTOR OR A PEEP BEHIND THE CUR Thomas Ford / Knjiga Mehka
common.buy 18.38 €
Unbounded Chronicles David Schneider / Knjiga Mehka
common.buy 28.28 €
Animals A-Z Trevor E Coward / Knjiga Mehka
common.buy 15.45 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?