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ł
Poczta Polska 20.99 zł DPD Kurier 12.99 zł InPost Kurier 12.99 zł Paczkomat 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Verification, Model Checking, and Abstract Interpretation

23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Verification, Model Checking, and Abstract Interpretation Bernd Finkbeiner
Kod Libristo: 38504817
Wydawnictwo Springer Nature Switzerland AG, styczeń 2022
This book constitutes the proceedings of the 23rd International Conference on Verification, Model Ch... Cały opis
? points 212 b
382.74 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

El Sistema Que Nunca Falla Para Alcanzar El Éxito (the Success System That Never Fails) / Książka Miękka
common.buy 61.19 zł
Le préfet et les collectivités Sut / Książka Miękka
common.buy 352.19 zł
Der tolle Bomberg, 1 DVD Rolf Thiele / Wideo DVD
common.buy 93.66 zł
Der Sockel in der Skulptur des 19. und 20. Jahrhunderts Johannes Myssok / Książka Twarda
common.buy 249.95 zł
Ein heimlicher Quellenkanon? Neue Perspektiven auf Dokumente der Geschichte Hannah Ahlheim / Książka Miękka
common.buy 125.73 zł
Die Fabrikation Der Feuerfesten Steine Friedrich Wernicke / Książka Miękka
common.buy 298.24 zł
TOP
Slownik dla pielegniarek - opiekunow - rehabilitantow polsko-niemiecki . niemiecko-polski / Książka Miękka
common.buy 28.63 zł
Lo que debe saber todo buen republicano Anónimo / Książka Miękka
common.buy 68.15 zł
Handbuch der podologischen Behandlungsmethoden Sybille Feindt / Książka Miękka
common.buy 155.57 zł
Ojo de Halcon: Seis dias en la vida de ... FRACTION / Książka Miękka
common.buy 70.17 zł
Jak se brání psycholog Pauline Dolezal / Książka Twarda
common.buy 20.56 zł
COMO PROGRAMAR EN INTERNET & WORLD WIDE WEB / Książka Miękka
common.buy 352.59 zł
de la Responsabilite Du Medecin Devant Les Tribunaux. LELORRAIN / Książka Miękka
common.buy 65.53 zł
Papiers, la revue de France Culture, n°31 collegium / Książka Miękka
common.buy 87.11 zł
LA FILLE AUX CHEVEUX ROUGES T4 BRUSSOLO Książka Miękka
common.buy 28.52 zł
SCIENCES ET TECHNIQUES SANITAIRES ET SOCIALES 1ERE ST2S - PROFESSEUR - 2007 Laurence Léonet / Książka Miękka
common.buy 95.07 zł
Europäische Kompetenzabgrenzung als deutsches Verfassungspostulat Uwe Leonardy / Książka Twarda
common.buy 304.80 zł
Hemingi Chartularium Ecclesiae Wigorniensis (1723) Hemingus / Książka Twarda
common.buy 230.79 zł
Zur Legis Actio Sacramento in Rem: Habilitationsschrift Philipp Lotmar / Książka Miękka
common.buy 86.60 zł
Dürüstlük Cagi / Książka Miękka
common.buy 83.17 zł
Un minuto, a bote pronto IÑAKI GABILONDO / Książka Miękka
common.buy 83.88 zł
Zapowiedź
Bibi Blocksberg: Das große Jubiläumsbuch Doris Riedl / Książka Twarda
common.buy 35.18 zł

This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022.The 22 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers working on verification, model checking, and abstract interpretation and facilitates 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 Bernd Finkbeiner, Thomas Wies
Język Angielski
Oprawa Książka - Miękka
Data wydania 2022
Liczba stron 520
EAN 9783030945824
Kod Libristo 38504817
Wydawnictwo Springer Nature Switzerland AG
Waga 807
Wymiary 155 x 235 x 29

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka)
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ć

TOP
Amok Sebastian Fitzek / Książka Miękka
common.buy 40.93 zł
A Treatise on the Valuation of Annuities and Assurances on Lives and Survivorships: On the Construction of Tables of Mortality and on the Probabilitie Joshua Milne / Książka Miękka
common.buy 125.93 zł
Beyond A Small Town: The Unofficial Mayor of Unionville Peter H Hassett / Książka Miękka
common.buy 30.14 zł
Zombies vs. Robots 2 Joe Cautilli / Książka Miękka
common.buy 70.37 zł
Nuclear Power's Global Expansion: Weighing Its Costs and Risks Henry D Sokolski / Książka Miękka
common.buy 110.80 zł
Richard M. Nixon and European Integration Joseph M. Siracusa / Książka Twarda
common.buy 702.78 zł
Neufs Vies Du Chat Montezuma Michael Morpurgo / Książka Miękka
common.buy 35.58 zł
A Journal Kept by Richard Doyle in the Year 1840 Richard Doyle / Książka Miękka
common.buy 79.75 zł
Joy of Basketball Andrew Kuo / Książka Twarda
common.buy 98.30 zł
Made In Scotland Billy Connolly / Książka Miękka
common.buy 65.13 zł
Sketchy Characters SHEILA MCGRAW / Książka Miękka
common.buy 60.79 zł
Zapowiedź
100 Things to See in the National Parks Payne / Książka Twarda
common.buy 48.19 zł
Mrs Boots of Pelham Street (Mrs Boots, Book 2) Deborah Carr / E-book Adobe ePub DRM
common.buy 43.45 zł
Traitor King: The Scandalous Exile of the Duke & Duchess of Windsor Lownie / Książka Miękka
common.buy 75.81 zł
The Arms of the Future: Technology and Close Combat in the Twenty-First Century Watling / Książka Miękka
common.buy 130.26 zł
The Doctoral Researcher's Toolkit Praveen B Malla / Książka Twarda
common.buy 1 096.21 zł
Safeguarding Educational Integrity Through Deepfake Face Detection Ahmed J. Obaid / Książka Twarda
common.buy 771.54 zł
The Origins of Popular Superstitions and Customs T. Sharper Knowlson / Książka Twarda
common.buy 143.77 zł
Parameters in Old French Syntax: Infinitival Complements E. H. Pearce / Książka Twarda
common.buy 636.93 zł
To Do and to Endure Jeanne R. Beck / Książka Twarda
common.buy 134.60 zł
BEST OF THE BEATLES OBOE BK The Beatles / Książka Miękka
common.buy 125.73 zł
Time to Go on Price Summers / Książka Miękka
common.buy 47.48 zł
Cads, Princes & Best Friends Danielle Coulanges / Książka Twarda
common.buy 144.18 zł
STORY OF THE 2ND WW Henry Steele Commager / Książka Miękka
common.buy 77.22 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?