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

26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II

Język AngielskiAngielski
Książka Miękka
Książka Verification, Model Checking, and Abstract Interpretation Krishna S.
Kod Libristo: 47021693
Wydawnictwo Springer, Berlin, marzec 2025
The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Confer... Cały opis
? points 162 b
284.33 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

LETTRINES GRACQ JULIEN / Książka Miękka
common.buy 102.16 zł
My Hero Academia: Complete Season 3 / Wideo Blu-ray
common.buy 108.39 zł
Loki : Agent d'Asgard T01 Lee Garbett / Książka Miękka
common.buy 164.19 zł
Les Dessous Du Congrés De Vienne: Juin 1814-4 Janvier 1815 Maurice-Henri Weil / Książka Miękka
common.buy 154.16 zł
Křesťanství v tóze Ondřej Doskočil / Książka Miękka
common.buy 23.68 zł
Arthur Honegger Harry Halbreich / Książka Książka
common.buy 209.16 zł
Physique Chimie 2de Manuel 2019 Nicolas Coppens / Książka Miękka
common.buy 185.37 zł
Ni galtzerdiak naiz Socks (Basque) Jeff and Mary Smith / Książka Miękka
common.buy 39.94 zł
Ultimate...70s Various / Audio CD Audio
common.buy 79.18 zł
Entwicklung und Erprobung von Mensch-Maschine-Systemen zur automatisierten Fahrzeugführung Martin Wimmer / Książka Miękka
common.buy 157.97 zł
Caminando 3 Rosaura Sanchez / Książka Miękka
common.buy 159.27 zł
O processo de reestruturacao produtiva nas industrias de Catanduva-SP CARVALHO DOS SANTOS / Książka Miękka
common.buy 233.85 zł
Abrege de l'Histoire Generale des Voyages (Tome premier) Jean-François de La Harpe / Książka Twarda
common.buy 87.21 zł
Bauernhof Sigrid Tinz / Książka Miękka
common.buy 37.53 zł
Wahrnehmung und ihre Veranderung durch die technische Reproduzierbarkeit Veronika Seitz / Książka Miękka
common.buy 38.73 zł

The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20 21, 2025.
The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and selected from 48 submissions.

The program of VMCAI 2025 conference in the core areas of VMCAI including abstract interpretation, programming languages, hardware and software model checking, cyber-physical systems, formal synthesis, formal methods in artificial intelligence, concurrency and other 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 Krishna S., Sriram Sankaranarayanan, Ashutosh Trivedi
Język Angielski
Oprawa Książka - Miękka
Data wydania 2025
Liczba stron 350
EAN 9783031827020
Kod Libristo 47021693
Wydawnictwo Springer, Berlin
Waga 412
Wymiary 155 x 235

Kategoria

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

Sorting Out Catholicism Massimo Faggioli / E-book Adobe ePub DRM
common.buy 96.84 zł
State Rankings 2020 Scott Morgan / Książka Twarda
common.buy 716.72 zł
Foxton Primary Science: Light (Lower KS2 Science) Nichola Tyrrell / Książka Miękka
common.buy 57.50 zł
Chasing the Truth: A Young Journalist's Guide to Investigative Reporting Megan Twohey / Książka Twarda
common.buy 62.52 zł
Katz Pajamas: The Haunted House of Hashimoto Jack Lugar / Książka Miękka
common.buy 34.31 zł
40 Years Loved Peony Lane Publishing / Książka Miękka
common.buy 43.75 zł
Art of Preserving Health. a Poem. by John Armstrong, M.D JOHN ARMSTRONG / Książka Twarda
common.buy 126.15 zł
History of the Siege of Chester, During the Civil Wars in the Time of King Charles I JOHN BROSTER / Książka Twarda
common.buy 130.17 zł
Adult Coloring Book Adult Coloring Books Illustrators Allian / Książka Miękka
common.buy 59.01 zł
1817 A Recipe for Revolution: Reflections on the Pentrich Rising of June 1817 MR Michael Parkin / Książka Miękka
common.buy 36.22 zł
When Faith Meets Therapy Stacy Kaiser / Książka Twarda
common.buy 81.29 zł
HER BROTHER'S LETTERS CHARLES M. RELYEA / Książka Twarda
common.buy 142.21 zł
It All Tastes of Farewell Brigitte Reimann / Książka Miękka
common.buy 139.60 zł
Ash'n Wavy Martin / Książka Miękka
common.buy 70.25 zł
Wisdom Walk: Nine Practices for Creating Peace and Balance from the World's Spiritual Traditions Sage Bennet / Książka Miękka
common.buy 73.06 zł
Journal Of Negro History (Volume Vii) 1922 Carter G. Woodson / Książka Miękka
common.buy 124.35 zł
Echoes of Dyma Dal Iesin: Book I of The Rugby Player's Tale Tuesday Shay / Książka Miękka
common.buy 106.88 zł
History of the American Newspaper Publishers Association Edwin Emery / Książka Miękka
common.buy 246.49 zł
Russian as a Heritage Language Olesya Kisselev / Książka Twarda
common.buy 886.34 zł
Process Management in Design and Construction Rachel Cooper / Książka Twarda
common.buy 674.96 zł
Smooch, Smack, Mwah! Erin Casey McNichol / Książka Miękka
common.buy 57.60 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?