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 prevzemna mesta DPD in Express One.

Verification, Model Checking, and Abstract Interpretation

21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Verification, Model Checking, and Abstract Interpretation Dirk Beyer
Koda Libristo: 25366158
Založba Springer Nature Switzerland AG, februar 2020
This book constitutes the proceedings of the 21st International Conference on Verification, Model Ch... Celoten opis
? points 189 b
78.10 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Histoire de Charles XIV (Jean Bernadotte), Roi de Suede Et de Norvege. Tome 3 Georges Touchard-Lafosse / Knjiga Mehka
common.buy 31.90 €
Eyes for the Blind Devlin Zvok Zvočni CD
common.buy 13.67 €
Puzzle 1000 CherryPazzi Lavender Muse 31094 / Igra/Igrača Sestavljanka
common.buy 7.99 €
Subprime, Hypotheken und faule Kredite - Alles klar?! Julia Schweizer / Knjiga Mehka
common.buy 40.31 €
Notes pour servir a l'histoire de la Commune de Vandenesse (Nievre) (Ed.1874) Victor Gueneau / Knjiga Mehka
common.buy 13.56 €
Erzählungen Emma Niendorf / Knjiga Trda
common.buy 58.64 €
REMBRANDT Jan Blanc / Knjiga Knjiga
common.buy 223.36 €
Top
A csíkos pizsamás fiú John Boyne / Knjiga Mehka
common.buy 6.57 €
Nichtlineare Deskriptormodelle Felix Gausch / E-knjiga Adobe ePub DRM
common.buy 58.44 €
Pat Metheny - Travels Pat Metheny / Zvok Zvočni CD
common.buy 24.10 €
За гранью японских свечей: Новые японские методы графического анализа Steve Nison / Knjiga Trda
common.buy 23.80 €
Quellen zur Geschichte des Untergangs livlandischer Selbstandigkeit C. Schirren / Knjiga Mehka
common.buy 36.97 €
Osteosintesis Ilizarov / Knjiga Trda
common.buy 65.43 €
Dr zwitser en de kerstman Wasterlain Knjiga Trda
common.buy 6.78 €
IRON MAIDEN Morceaux d'esprits Philippe Petesch / Knjiga Trda
common.buy 35.45 €
Top
Co robić gdy się martwisz Huebner Dawn / Knjiga Mehka
common.buy 7.69 €
POEMAS EMILY DICKINSON / Knjiga Trda
common.buy 14.17 €
Weihnachtliche Weisen-Kommet Manfred Zitherensemble Schuler / Zvok Zvočni CD
common.buy 15.08 €
Grenzen-Los! Fokus Gemeinde Herbert Ammann / Knjiga Mehka
common.buy 30.79 €
Bach, Johann Sebastian - Toccaten BWV 910-916 Johann Sebastian Bach / Tiskani izdelki Note
common.buy 21.77 €
Citogematologicheskoe issledovanie ryb pri vozdejstvii tyazhelyh metallov Naida Abdullaeva / Knjiga Mehka
common.buy 41.93 €
Simon George Sand / Knjiga Mehka
common.buy 9.82 €
Textaufgaben lösen 5.-7. Klasse Haupt-/Mittelschule Walter Modschiedler / Knjiga Mehka
common.buy 15.79 €

This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020. The 21 papers presented in this volume were carefully reviewed from 44 submissions. VMCAI provides a forum for researchers from the communities of verification, model checking, and abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.

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 Dirk Beyer, Damien Zufferey
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2020
Število strani 471
EAN 9783030393212
Koda Libristo 25366158
Založba Springer Nature Switzerland AG
Teža 741
Mere 155 x 235 x 27

Kategorije

Computing & Information Technology > Computer programming / software engineering
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

Jacob's Ladder Reading Comprehension Program Tamra Stambaugh / Knjiga Mehka
common.buy 53.07 €
Great War John Morrow / Knjiga Mehka
common.buy 38.08 €
A Trip Towards The Sunset Tatiana Goded / Knjiga Mehka
common.buy 16.20 €
Building Tomorrow's Smart Cities With 6G Infrastructure Technology Bal Virdee / Knjiga Trda
common.buy 408.95 €
Top
Our World in Pictures: Trees, Leaves, Flowers & Seeds DK / Knjiga Trda
common.buy 19.85 €
Writing a Poem Cecilia Minden / Knjiga Mehka
common.buy 11.34 €
A Guide To Peterborough Cathedral George Phillips / Knjiga Mehka
common.buy 7.89 €
Atomic- and Nanoscale Magnetism Roland Wiesendanger / Knjiga Trda
common.buy 136.45 €
Secret Code - Spiral of Success Christine Hofmann / Knjiga Mehka
common.buy 15.19 €
Focus on Success PLUS B1/B2: 11./12. Jg. - Vocabulary Practice Book / Knjiga Mehka
common.buy 10.93 €
Your Spiritual Gifts Can Help Your Church Grow C. Peter Wagner / Knjiga Mehka
common.buy 18.43 €
Empowerment of Women for Promoting Health and Quality of Life Snehendu B. Kar / Knjiga Trda
common.buy 105.45 €
How French Soldiers Fared in German Prisons. Edited [Or Rather Translated] by Henry Hayward Henry Hayward / Knjiga Mehka
common.buy 25.01 €
Teaching Geography Creatively Stephen Scoffham / Knjiga Mehka
common.buy 51.15 €
Social Work and Human Rights Elisabeth Reichert / Knjiga Trda
common.buy 131.79 €
Getting Away with Murder Vanessa A. Holloway / Knjiga Mehka
common.buy 46.18 €
Visions of Heaven David Stephenson / Knjiga Trda
common.buy 70.70 €
Knowledge before Action Amina M. Steinfels / Knjiga Trda
common.buy 67.76 €
101 Conversation Starters for Families Ramon L Presson / Knjiga Mehka
common.buy 8.70 €
Theory Past Papers Grade 4 / Knjiga Mehka
common.buy 5.26 €
Curmudgeon Bob Eggers / Knjiga Mehka
common.buy 14.07 €

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?