Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Verification, Model Checking, and Abstract Interpretation

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Verification, Model Checking, and Abstract Interpretation Dirk Beyer
Libristo kód: 25366158
Nakladatelství Springer Nature Switzerland AG, únor 2020
This book constitutes the proceedings of the 21st International Conference on Verification, Model Ch... Celý popis
? points 189 b
1 886 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Nichtlineare Deskriptormodelle Felix Gausch / E-kniha Adobe ePub DRM
common.buy 1 618 Kč
Lächeln Roddy Doyle / Kniha Pevná
common.buy 545 Kč
Pat Metheny - Travels Pat Metheny / Audio Audio CD
common.buy 582 Kč
30 años Los crímenes de la luna llena C S.DUPRA / Audio Audio CD
common.buy 675 Kč
A csíkos pizsamás fiú John Boyne / Kniha Brožovaná
common.buy 166 Kč
REMBRANDT Jan Blanc / Kniha Kniha
common.buy 5 889 Kč
Erzählungen Emma Niendorf / Kniha Pevná
common.buy 1 418 Kč
First And Last And Forever - Various Artists / Audio Audio CD
common.buy 432 Kč
Subprime, Hypotheken und faule Kredite - Alles klar?! Julia Schweizer / Kniha Brožovaná
common.buy 975 Kč
Puzzle 1000 CherryPazzi Lavender Muse 31094 / Hra/Hračka Puzzle
common.buy 256 Kč
Eyes for the Blind Devlin Audio Audio CD
common.buy 331 Kč
The Platinum Collection Ella Fitzgerald Audio Audio vinyl
common.buy 726 Kč
Připravujeme Nové
Elektrizität, Magnetismus, Elektromagnetische Schwingungen und Wellen Wolfgang Pfeiler / Kniha Brožovaná
common.buy 1 343 Kč
POEMAS EMILY DICKINSON / Kniha Pevná
common.buy 376 Kč
Weihnachtliche Weisen-Kommet Manfred Zitherensemble Schuler / Audio Audio CD
common.buy 363 Kč
Grenzen-Los! Fokus Gemeinde Herbert Ammann / Kniha Brožovaná
common.buy 826 Kč
Citogematologicheskoe issledovanie ryb pri vozdejstvii tyazhelyh metallov Naida Abdullaeva / Kniha Brožovaná
common.buy 1 014 Kč
Textaufgaben lösen 5.-7. Klasse Haupt-/Mittelschule Walter Modschiedler / Kniha Brožovaná
common.buy 382 Kč
Quellen zur Geschichte des Untergangs livlandischer Selbstandigkeit C. Schirren / Kniha Brožovaná
common.buy 893 Kč
Ana Karenina LIEV N. TOLSTOI / Kniha Brožovaná
common.buy 471 Kč
Notes pour servir a l'histoire de la Commune de Vandenesse (Nievre) (Ed.1874) Victor Gueneau / Kniha Brožovaná
common.buy 313 Kč
Simon George Sand / Kniha Brožovaná
common.buy 243 Kč
За гранью японских свечей: Новые японские методы графического анализа Steve Nison / Kniha Pevná
common.buy 555 Kč
Bach, Johann Sebastian - Toccaten BWV 910-916 Johann Sebastian Bach / Tiskovina Noty
common.buy 526 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Verification, Model Checking, and Abstract Interpretation
Autor Dirk Beyer, Damien Zufferey
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2020
Počet stran 471
EAN 9783030393212
Libristo kód 25366158
Nakladatelství Springer Nature Switzerland AG
Váha 741
Rozměry 155 x 235 x 27

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Jacob's Ladder Reading Comprehension Program Tamra Stambaugh / Kniha Brožovaná
common.buy 1 318 Kč
FOOLISH FISHGIRLS & THE PEARL Barbara Pease Weber / Kniha Brožovaná
common.buy 411 Kč
Your Spiritual Gifts Can Help Your Church Grow C. Peter Wagner / Kniha Brožovaná
common.buy 456 Kč
Focus on Success PLUS B1/B2: 11./12. Jg. - Vocabulary Practice Book / Kniha Brožovaná
common.buy 265 Kč
Groundwater Status and Trends for the Columbia Plateau Regional Aquifer System, Washington, Oregon, and Idaho Erik R Burns / Kniha Brožovaná
common.buy 403 Kč
Create Your World: Activating your God-given power to create realms and atmospheres Patricia King / Kniha Brožovaná
common.buy 413 Kč
Secret Code - Spiral of Success Christine Hofmann / Kniha Brožovaná
common.buy 368 Kč
Atomic- and Nanoscale Magnetism Roland Wiesendanger / Kniha Pevná
common.buy 3 296 Kč
Writing a Poem Cecilia Minden / Kniha Brožovaná
common.buy 219 Kč
Great War John Morrow / Kniha Brožovaná
common.buy 945 Kč
Top
Our World in Pictures: Trees, Leaves, Flowers & Seeds DK / Kniha Pevná
common.buy 432 Kč
Scattered Thoughts from a Scattered Mind David Mills / Kniha Pevná
common.buy 539 Kč
The Irish Race: In California, And On The Pacific Coast (1878) Hugh Quigley / Kniha Brožovaná
common.buy 1 039 Kč
Davidson College Catalog; 1962-1963 Davidson College / Kniha Pevná
common.buy 770 Kč
Your Fittest Future Self Kathleen Trotter / E-kniha Adobe ePub DRM
common.buy 202 Kč
Anthracite's Demise and the Post-Coal Economy of Northeastern Pennsylvania Thomas Keil / E-kniha Adobe ePub DRM
common.buy 2 702 Kč
Building Tomorrow's Smart Cities With 6G Infrastructure Technology Bal Virdee / Kniha Pevná
common.buy 9 531 Kč
A Trip Towards The Sunset Tatiana Goded / Kniha Brožovaná
common.buy 402 Kč
Empowerment of Women for Promoting Health and Quality of Life Snehendu B. Kar / Kniha Pevná
common.buy 2 480 Kč
Knowledge before Action Amina M. Steinfels / Kniha Pevná
common.buy 1 624 Kč
101 Conversation Starters for Families Ramon L Presson / Kniha Brožovaná
common.buy 200 Kč
Theory Past Papers Grade 4 / Kniha Brožovaná
common.buy 137 Kč
In the Beginning Rev Donald Schmidt / Kniha Brožovaná
common.buy 281 Kč
Curmudgeon Bob Eggers / Kniha Brožovaná
common.buy 350 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?