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č PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 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 887 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Osteosintesis Ilizarov / Kniha Pevná
common.buy 1 742 Kč
Eyes for the Blind Devlin Audio Audio CD
common.buy 331 Kč
Top
За гранью японских свечей: Новые японские методы графического анализа Steve Nison / Kniha Pevná
common.buy 576 Kč
Pat Metheny - Travels Pat Metheny / Audio Audio CD
common.buy 583 Kč
Subprime, Hypotheken und faule Kredite - Alles klar?! Julia Schweizer / Kniha Brožovaná
common.buy 975 Kč
Top
A csíkos pizsamás fiú John Boyne / Kniha Brožovaná
common.buy 159 Kč
REMBRANDT Jan Blanc / Kniha Kniha
common.buy 5 920 Kč
Top
Puzzle 1000 CherryPazzi Lavender Muse 31094 / Hra/Hračka Puzzle
common.buy 205 Kč
Dr zwitser en de kerstman Wasterlain Kniha Pevná
common.buy 187 Kč
IRON MAIDEN Morceaux d'esprits Philippe Petesch / Kniha Pevná
common.buy 946 Kč
Co robić gdy się martwisz Huebner Dawn / Kniha Brožovaná
common.buy 194 Kč
POEMAS EMILY DICKINSON / Kniha Pevná
common.buy 331 Kč
Simon George Sand / Kniha Brožovaná
common.buy 237 Kč
Quellen zur Geschichte des Untergangs livlandischer Selbstandigkeit C. Schirren / Kniha Brožovaná
common.buy 893 Kč
Textaufgaben lösen 5.-7. Klasse Haupt-/Mittelschule Walter Modschiedler / Kniha Brožovaná
common.buy 382 Kč
Citogematologicheskoe issledovanie ryb pri vozdejstvii tyazhelyh metallov Naida Abdullaeva / Kniha Brožovaná
common.buy 1 014 Kč
Grenzen-Los! Fokus Gemeinde Herbert Ammann / Kniha Brožovaná
common.buy 832 Kč
Histoire de Charles XIV (Jean Bernadotte), Roi de Suede Et de Norvege. Tome 3 Georges Touchard-Lafosse / Kniha Brožovaná
common.buy 788 Kč
Notes pour servir a l'histoire de la Commune de Vandenesse (Nievre) (Ed.1874) Victor Gueneau / Kniha Brožovaná
common.buy 358 Kč
Top
Bach, Johann Sebastian - Toccaten BWV 910-916 Johann Sebastian Bach / Tiskovina Noty
common.buy 527 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 236 Kč
Great War John Morrow / Kniha Brožovaná
common.buy 920 Kč
Our World in Pictures: Trees, Leaves, Flowers & Seeds DK / Kniha Pevná
common.buy 409 Kč
Writing a Poem Cecilia Minden / Kniha Brožovaná
common.buy 275 Kč
A Guide To Peterborough Cathedral George Phillips / Kniha Brožovaná
common.buy 190 Kč
Atomic- and Nanoscale Magnetism Roland Wiesendanger / Kniha Pevná
common.buy 3 297 Kč
Secret Code - Spiral of Success Christine Hofmann / Kniha Brožovaná
common.buy 368 Kč
Focus on Success PLUS B1/B2: 11./12. Jg. - Vocabulary Practice Book / Kniha Brožovaná
common.buy 265 Kč
Your Spiritual Gifts Can Help Your Church Grow C. Peter Wagner / Kniha Brožovaná
common.buy 362 Kč
Building Tomorrow's Smart Cities With 6G Infrastructure Technology Bal Virdee / Kniha Pevná
common.buy 9 386 Kč
A Trip Towards The Sunset Tatiana Goded / Kniha Brožovaná
common.buy 392 Kč
How French Soldiers Fared in German Prisons. Edited [Or Rather Translated] by Henry Hayward Henry Hayward / Kniha Brožovaná
common.buy 604 Kč
Curmudgeon Bob Eggers / Kniha Brožovaná
common.buy 341 Kč
Teaching Geography Creatively Stephen Scoffham / Kniha Brožovaná
common.buy 1 133 Kč
Theory Past Papers Grade 4 / Kniha Brožovaná
common.buy 140 Kč
101 Conversation Starters for Families Ramon L Presson / Kniha Brožovaná
common.buy 200 Kč
Empowerment of Women for Promoting Health and Quality of Life Snehendu B. Kar / Kniha Pevná
common.buy 1 643 Kč
Physics Of Comets (2nd Edition) K.S.K. Swamy / Kniha Pevná
common.buy 1 568 Kč
Getting Away with Murder Vanessa A. Holloway / Kniha Brožovaná
common.buy 1 218 Kč
Social Work and Human Rights Elisabeth Reichert / Kniha Pevná
common.buy 3 185 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?