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ł.

Automated Technology for Verification and Analysis

21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II

Język AngielskiAngielski
E-book Adobe ePub DRM
Wydawnictwo Springer, październik 2023
This book constitutes the refereed proceedings of the 21st International Symposium on Automated Tech... Cały opis
? points 210 b
368.58 zł
Dostępna Produkt cyfrowy - wysyłamy od razu

Klienci kupili także

Culpa vs perdón Purificacion Lozano Branuelas / Książka Miękka
common.buy 44.96 zł
Der Bayerische Alpenrand zwischen Füssen und Berchtesgaden Rolf K. F. Meyer / Książka Miękka
common.buy 95.56 zł
Messbuch - Die Feier der hl. Messe - Für die Bistümer des deutschen Sprachgebietes Bischofskonferenzen / Książka Twarda
common.buy 606.29 zł

This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in  October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research communities and industry in related areas. The 30 regular papers presented together with 7 tool papers were carefully reviewed and selected from 150 submissions.The papers are divided into the following topical sub-headings: Temporal logics, Data structures and heuristics, Verification of programs and hardware.

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 Automated Technology for Verification and Analysis
Autor Etienne Andre, Jun Sun
Język Angielski
Oprawa E-book - Adobe ePub DRM
Data wydania 2023
EAN 9783031453328
Kod Libristo 44992045
Wydawnictwo Springer

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Informatyka i technologie informacyjne (IT) > Sprzęt komputerowy
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ć

As the Bamboo Shoots CELIN TAN ROBERTSON / Książka Miękka
common.buy 98.88 zł
Artificial Wisdom WEAVER THOMAS R / Książka Twarda
common.buy 98.27 zł
Public Health and Toxicology Issues in Drug Research, Volume 2 Rakesh Kumar Tekade / Książka Miękka
common.buy 800.34 zł
Memory and the Construction of Histories Reade Collins / Książka Miękka
common.buy 44.96 zł
Wild Unknown Notes Kim Krans / Prasa Karty
common.buy 79.66 zł
Catalogue of the Library of the State Historical Society of Wisconsin (Volume VI) Isabel Durrie / Książka Miękka
common.buy 158.03 zł
Finding Flamenco Stephany Borges / Książka Miękka
common.buy 65.28 zł
HIV/AIDS Awareness: HIV/AIDS Is Not A Death Sentence Beverly Hill / Książka Miękka
common.buy 40.03 zł
List of the vertebrated animals living in the gardens of the Zoological Society of London Philip Lutley Sclater / Książka Miękka
common.buy 64.77 zł
Atom Optics Pierre Meystre / Książka Twarda
common.buy 437.59 zł
Korea George Brennan / Książka Miękka
common.buy 54.61 zł
Nonlinear Adaptive Robust Control of Electro-hydraulic Systems Fanping Bu / Książka Miękka
common.buy 339.40 zł
Fundamentals of Municipal Bonds The Bond Market Association / Książka Twarda
common.buy 238.81 zł
European Economists of the Early 20th Century, Volume 1 Warren J. Samuels / Książka Twarda
common.buy 1 099.92 zł
Geometric Abstraction Yve-Alain Bois / Książka Twarda
common.buy 195.25 zł
How Power Corrupts Ricardo Blaug / Książka Twarda
common.buy 248.26 zł
Dragons, Serpents, and Slayers in the Classical and Early Christian Worlds Daniel Ogden / Książka Twarda
common.buy 655.78 zł
Absolute Analysis Frithjof Nevanlinna / Książka Miękka
common.buy 219.49 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?