Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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
Nakladateľstvo Springer Nature Switzerland AG, február 2020
This book constitutes the proceedings of the 21st International Conference on Verification, Model Ch... Celý popis
? points 199 b
82.28 €
Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Osteosintesis Ilizarov / Kniha Pevná
common.buy 71.88 €
Eyes for the Blind Devlin Audio Audio CD
common.buy 14.33 €
Top
За гранью японских свечей: Новые японские методы графического анализа Steve Nison / Kniha Pevná
common.buy 23.72 €
Pat Metheny - Travels Pat Metheny / Audio Audio CD
common.buy 25.23 €
Subprime, Hypotheken und faule Kredite - Alles klar?! Julia Schweizer / Kniha Brožovaná
common.buy 42.70 €
Top
A csíkos pizsamás fiú John Boyne / Kniha Brožovaná
common.buy 7.46 €
REMBRANDT Jan Blanc / Kniha Kniha
common.buy 244.24 €
Top
Puzzle 1000 CherryPazzi Lavender Muse 31094 / Hra/Hračka Puzzle
common.buy 8.98 €
Dr zwitser en de kerstman Wasterlain Kniha Pevná
common.buy 7.66 €
IRON MAIDEN Morceaux d'esprits Philippe Petesch / Kniha Pevná
common.buy 39.07 €
Co robić gdy się martwisz Huebner Dawn / Kniha Brožovaná
common.buy 7.97 €
POEMAS EMILY DICKINSON / Kniha Pevná
common.buy 14.43 €
Simon George Sand / Kniha Brožovaná
common.buy 9.78 €
Quellen zur Geschichte des Untergangs livlandischer Selbstandigkeit C. Schirren / Kniha Brožovaná
common.buy 39.17 €
Textaufgaben lösen 5.-7. Klasse Haupt-/Mittelschule Walter Modschiedler / Kniha Brožovaná
common.buy 16.65 €
Citogematologicheskoe issledovanie ryb pri vozdejstvii tyazhelyh metallov Naida Abdullaeva / Kniha Brožovaná
common.buy 44.42 €
Grenzen-Los! Fokus Gemeinde Herbert Ammann / Kniha Brožovaná
common.buy 34.32 €
Histoire de Charles XIV (Jean Bernadotte), Roi de Suede Et de Norvege. Tome 3 Georges Touchard-Lafosse / Kniha Brožovaná
common.buy 32.50 €
Notes pour servir a l'histoire de la Commune de Vandenesse (Nievre) (Ed.1874) Victor Gueneau / Kniha Brožovaná
common.buy 14.73 €
Top
Bach, Johann Sebastian - Toccaten BWV 910-916 Johann Sebastian Bach / Tlačovina Noty
common.buy 23.21 €

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 pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Verification, Model Checking, and Abstract Interpretation
Autor Dirk Beyer, Damien Zufferey
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2020
Počet strán 471
EAN 9783030393212
Libristo kód 25366158
Nakladateľstvo Springer Nature Switzerland AG
Váha 741
Rozmery 155 x 235 x 27

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Jacob's Ladder Reading Comprehension Program Tamra Stambaugh / Kniha Brožovaná
common.buy 50.98 €
Great War John Morrow / Kniha Brožovaná
common.buy 37.95 €
Our World in Pictures: Trees, Leaves, Flowers & Seeds DK / Kniha Pevná
common.buy 18.06 €
Writing a Poem Cecilia Minden / Kniha Brožovaná
common.buy 12.01 €
A Guide To Peterborough Cathedral George Phillips / Kniha Brožovaná
common.buy 7.87 €
Atomic- and Nanoscale Magnetism Roland Wiesendanger / Kniha Pevná
common.buy 143.77 €
Secret Code - Spiral of Success Christine Hofmann / Kniha Brožovaná
common.buy 16.15 €
Focus on Success PLUS B1/B2: 11./12. Jg. - Vocabulary Practice Book / Kniha Brožovaná
common.buy 11.50 €
Your Spiritual Gifts Can Help Your Church Grow C. Peter Wagner / Kniha Brožovaná
common.buy 15.74 €
Building Tomorrow's Smart Cities With 6G Infrastructure Technology Bal Virdee / Kniha Pevná
common.buy 407.60 €
A Trip Towards The Sunset Tatiana Goded / Kniha Brožovaná
common.buy 16.15 €
How French Soldiers Fared in German Prisons. Edited [Or Rather Translated] by Henry Hayward Henry Hayward / Kniha Brožovaná
common.buy 24.93 €
Curmudgeon Bob Eggers / Kniha Brožovaná
common.buy 14.02 €
Teaching Geography Creatively Stephen Scoffham / Kniha Brožovaná
common.buy 48.96 €
Theory Past Papers Grade 4 / Kniha Brožovaná
common.buy 5.75 €
101 Conversation Starters for Families Ramon L Presson / Kniha Brožovaná
common.buy 8.67 €
Empowerment of Women for Promoting Health and Quality of Life Snehendu B. Kar / Kniha Pevná
common.buy 71.07 €
Physics Of Comets (2nd Edition) K.S.K. Swamy / Kniha Pevná
common.buy 64.71 €
Getting Away with Murder Vanessa A. Holloway / Kniha Brožovaná
common.buy 50.27 €
Social Work and Human Rights Elisabeth Reichert / Kniha Pevná
common.buy 131.35 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

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

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?