Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Verification, Model Checking, and Abstract Interpretation

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

Język AngielskiAngielski
Książka Miękka
Książka Verification, Model Checking, and Abstract Interpretation Dirk Beyer
Kod Libristo: 25366158
Wydawnictwo Springer Nature Switzerland AG, luty 2020
This book constitutes the proceedings of the 21st International Conference on Verification, Model Ch... Cały opis
? points 199 b
349.47 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Osteosintesis Ilizarov / Książka Twarda
common.buy 305.21 zł
Eyes for the Blind Devlin Audio CD Audio
common.buy 60.91 zł
TOP
За гранью японских свечей: Новые японские методы графического анализа Steve Nison / Książka Twarda
common.buy 106.18 zł
Pat Metheny - Travels Pat Metheny / Audio CD Audio
common.buy 107.18 zł
Subprime, Hypotheken und faule Kredite - Alles klar?! Julia Schweizer / Książka Miękka
common.buy 181.46 zł
TOP
A csíkos pizsamás fiú John Boyne / Książka Miękka
common.buy 31.50 zł
REMBRANDT Jan Blanc / Książka Książka
common.buy 1 037.09 zł
TOP
Puzzle 1000 CherryPazzi Lavender Muse 31094 / Gra/Zabawka Puzzle
common.buy 34.02 zł
Dr zwitser en de kerstman Wasterlain Książka Twarda
common.buy 32.71 zł
IRON MAIDEN Morceaux d'esprits Philippe Petesch / Książka Twarda
common.buy 165.70 zł
Co robić gdy się martwisz Huebner Dawn / Książka Miękka
common.buy 30.30 zł
POEMAS EMILY DICKINSON / Książka Twarda
common.buy 61.31 zł
Simon George Sand / Książka Miękka
common.buy 43.75 zł
Quellen zur Geschichte des Untergangs livlandischer Selbstandigkeit C. Schirren / Książka Miękka
common.buy 166.20 zł
Textaufgaben lösen 5.-7. Klasse Haupt-/Mittelschule Walter Modschiedler / Książka Miękka
common.buy 70.95 zł
Citogematologicheskoe issledovanie ryb pri vozdejstvii tyazhelyh metallov Naida Abdullaeva / Książka Miękka
common.buy 188.68 zł
Grenzen-Los! Fokus Gemeinde Herbert Ammann / Książka Miękka
common.buy 145.72 zł
Histoire de Charles XIV (Jean Bernadotte), Roi de Suede Et de Norvege. Tome 3 Georges Touchard-Lafosse / Książka Miękka
common.buy 144.72 zł
Notes pour servir a l'histoire de la Commune de Vandenesse (Nievre) (Ed.1874) Victor Gueneau / Książka Miękka
common.buy 65.83 zł
TOP
Bach, Johann Sebastian - Toccaten BWV 910-916 Johann Sebastian Bach / Prasa Nuty
common.buy 98.45 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Verification, Model Checking, and Abstract Interpretation
Autor Dirk Beyer, Damien Zufferey
Język Angielski
Oprawa Książka - Miękka
Data wydania 2020
Liczba stron 471
EAN 9783030393212
Kod Libristo 25366158
Wydawnictwo Springer Nature Switzerland AG
Waga 741
Wymiary 155 x 235 x 27

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Jacob's Ladder Reading Comprehension Program Tamra Stambaugh / Książka Miękka
common.buy 226.52 zł
Great War John Morrow / Książka Miękka
common.buy 171.02 zł
Our World in Pictures: Trees, Leaves, Flowers & Seeds DK / Książka Twarda
common.buy 76.77 zł
Writing a Poem Cecilia Minden / Książka Miękka
common.buy 50.98 zł
A Guide To Peterborough Cathedral George Phillips / Książka Miękka
common.buy 35.02 zł
Atomic- and Nanoscale Magnetism Roland Wiesendanger / Książka Twarda
common.buy 610.73 zł
Secret Code - Spiral of Success Christine Hofmann / Książka Miękka
common.buy 68.44 zł
Focus on Success PLUS B1/B2: 11./12. Jg. - Vocabulary Practice Book / Książka Miękka
common.buy 48.87 zł
Your Spiritual Gifts Can Help Your Church Grow C. Peter Wagner / Książka Miękka
common.buy 70.55 zł
Building Tomorrow's Smart Cities With 6G Infrastructure Technology Bal Virdee / Książka Twarda
common.buy 1 644.32 zł
A Trip Towards The Sunset Tatiana Goded / Książka Miękka
common.buy 72.15 zł
How French Soldiers Fared in German Prisons. Edited [Or Rather Translated] by Henry Hayward Henry Hayward / Książka Miękka
common.buy 112.80 zł
Curmudgeon Bob Eggers / Książka Miękka
common.buy 63.62 zł
Teaching Geography Creatively Stephen Scoffham / Książka Miękka
common.buy 217.79 zł
Theory Past Papers Grade 4 / Książka Miękka
common.buy 24.48 zł
101 Conversation Starters for Families Ramon L Presson / Książka Miękka
common.buy 36.93 zł
Empowerment of Women for Promoting Health and Quality of Life Snehendu B. Kar / Książka Twarda
common.buy 287.85 zł
Physics Of Comets (2nd Edition) K.S.K. Swamy / Książka Twarda
common.buy 288.05 zł
Getting Away with Murder Vanessa A. Holloway / Książka Miękka
common.buy 222.31 zł
Social Work and Human Rights Elisabeth Reichert / Książka Twarda
common.buy 581.62 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?