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 Kurier 12.99 zł Punkt DPD 11.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
356.47 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Osteosintesis Ilizarov / Książka Twarda
common.buy 282.55 zł
Eyes for the Blind Devlin Audio CD Audio
common.buy 62.13 zł
За гранью японских свечей: Новые японские методы графического анализа Steve Nison / Książka Twarda
common.buy 108.30 zł
Pat Metheny - Travels Pat Metheny / Audio CD Audio
common.buy 109.33 zł
Subprime, Hypotheken und faule Kredite - Alles klar?! Julia Schweizer / Książka Miękka
common.buy 185.09 zł
A csíkos pizsamás fiú John Boyne / Książka Miękka
common.buy 32.14 zł
REMBRANDT Jan Blanc / Książka Książka
common.buy 1 057.34 zł
Puzzle 1000 CherryPazzi Lavender Muse 31094 / Gra/Zabawka Puzzle
common.buy 34.70 zł
Dr zwitser en de kerstman Wasterlain Książka Twarda
common.buy 32.85 zł
IRON MAIDEN Morceaux d'esprits Philippe Petesch / Książka Twarda
common.buy 168.50 zł
TOP
Co robić gdy się martwisz Huebner Dawn / Książka Miękka
common.buy 33.36 zł
POEMAS EMILY DICKINSON / Książka Twarda
common.buy 60.90 zł
Simon George Sand / Książka Miękka
common.buy 44.63 zł
Quellen zur Geschichte des Untergangs livlandischer Selbstandigkeit C. Schirren / Książka Miękka
common.buy 169.53 zł
Textaufgaben lösen 5.-7. Klasse Haupt-/Mittelschule Walter Modschiedler / Książka Miękka
common.buy 72.37 zł
Citogematologicheskoe issledovanie ryb pri vozdejstvii tyazhelyh metallov Naida Abdullaeva / Książka Miękka
common.buy 192.46 zł
Grenzen-Los! Fokus Gemeinde Herbert Ammann / Książka Miękka
common.buy 148.54 zł
Histoire de Charles XIV (Jean Bernadotte), Roi de Suede Et de Norvege. Tome 3 Georges Touchard-Lafosse / Książka Miękka
common.buy 130.83 zł
Notes pour servir a l'histoire de la Commune de Vandenesse (Nievre) (Ed.1874) Victor Gueneau / Książka Miękka
common.buy 55.58 zł
Bach, Johann Sebastian - Toccaten BWV 910-916 Johann Sebastian Bach / Prasa Nuty
common.buy 100.42 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 231.05 zł
Great War John Morrow / Książka Miękka
common.buy 174.44 zł
TOP
Our World in Pictures: Trees, Leaves, Flowers & Seeds DK / Książka Twarda
common.buy 78.31 zł
Writing a Poem Cecilia Minden / Książka Miękka
common.buy 52.00 zł
A Guide To Peterborough Cathedral George Phillips / Książka Miękka
common.buy 35.72 zł
Atomic- and Nanoscale Magnetism Roland Wiesendanger / Książka Twarda
common.buy 622.95 zł
Secret Code - Spiral of Success Christine Hofmann / Książka Miękka
common.buy 69.81 zł
Focus on Success PLUS B1/B2: 11./12. Jg. - Vocabulary Practice Book / Książka Miękka
common.buy 49.85 zł
Your Spiritual Gifts Can Help Your Church Grow C. Peter Wagner / Książka Miękka
common.buy 71.96 zł
Building Tomorrow's Smart Cities With 6G Infrastructure Technology Bal Virdee / Książka Twarda
common.buy 1 677.23 zł
A Trip Towards The Sunset Tatiana Goded / Książka Miękka
common.buy 73.60 zł
How French Soldiers Fared in German Prisons. Edited [Or Rather Translated] by Henry Hayward Henry Hayward / Książka Miękka
common.buy 115.06 zł
Curmudgeon Bob Eggers / Książka Miękka
common.buy 64.90 zł
Teaching Geography Creatively Stephen Scoffham / Książka Miękka
common.buy 222.15 zł
Theory Past Papers Grade 4 / Książka Miękka
common.buy 22.72 zł
101 Conversation Starters for Families Ramon L Presson / Książka Miękka
common.buy 37.66 zł
Empowerment of Women for Promoting Health and Quality of Life Snehendu B. Kar / Książka Twarda
common.buy 293.61 zł
Physics Of Comets (2nd Edition) K.S.K. Swamy / Książka Twarda
common.buy 293.81 zł
Getting Away with Murder Vanessa A. Holloway / Książka Miękka
common.buy 208.33 zł
Social Work and Human Rights Elisabeth Reichert / Książka Twarda
common.buy 593.26 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?