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

Runtime Verification

24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings

Język AngielskiAngielski
E-book Adobe ePub DRM
Wydawnictwo Springer, październik 2024
This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verif... Cały opis
? points 162 b
284.12 zł
Dostępna Produkt cyfrowy - wysyłamy od razu

Klienci kupili także

Ambulante Pflege in der modernen Gesellschaft Ruth Ketzer / Książka Miękka
common.buy 149.00 zł
Zirkua Susaeta / Książka Twarda
common.buy 30.70 zł
Llyfr Hymnau y Methodistiaid Calfinaidd: Cyhoeddedig Trwy Awdurdod Cymanfa Gyffredinol y Cyfundeb Yn Nghymru Howell Powell / Książka Miękka
common.buy 146.59 zł
Muso Rosso. Il sogno americano di un indiano Lakota Guido Sgardoli / Książka Miękka
common.buy 79.03 zł
E-Publishing-Management Thilo Busching / E-book Adobe ePub DRM
common.buy 113.66 zł
Balas y palabras: Narrativa colombiana del sicario (1988-2023) Palacios Edwin Leonardo Florez Palacios / E-book Adobe ePub DRM
common.buy 308.59 zł
Samivel Sophie Cuenot / Książka Twarda
common.buy 284.12 zł
Marrakech En quelques jours 9ed Lonely Planet / Książka Miękka
common.buy 58.19 zł
Shimaguni. Atlas narrado de las islas de Japon Francesca Scotti / E-book Adobe ePub DRM
common.buy 56.07 zł

This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024.The 11 full papers, 5 short papers and 2 tool papers included in this book were carefully reviewed and selected from 31 submissions. They were organized in topical sections as follows: Invited Paper; Cyber-physical Systems; Temporal Logics; Speci cation and Visualization; Deep Neural Networks; and Distributed Systems.

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 Runtime Verification
Autor Erika Abraham, Houssam Abbas
Język Angielski
Oprawa E-book - Adobe ePub DRM
Data wydania 2024
EAN 9783031742347
Kod Libristo 47700645
Wydawnictwo Springer

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
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
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ć

Addiction Psychiatric Medicine Hector Colón-Rivera / Książka Miękka
common.buy 320.37 zł
Britney Spears Oracle Kara Nesvig / Prasa Karty
common.buy 65.54 zł
Acadia Panorama Alan Nyiri / E-book Adobe ePub DRM
common.buy 85.57 zł
Bait and Switch Barbara Ehrenreich / Audiobook MP3
common.buy 85.57 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?