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

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Język AngielskiAngielski
Książka Miękka
Książka Leveraging Applications of Formal Methods, Verification and Validation. Application Areas Tiziana Margaria
Kod Libristo: 46539682
Wydawnictwo Springer, Berlin, listopad 2023
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th Inter... Cały opis
? points 125 b
224.46 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

El cielo en tu mirada: Hasta que llegaste 1 Maria Viqueira / Książka Miękka
common.buy 69.12 zł
Protección de imágenes mediante mapas logísticos 2D Criptografía de curvas elípticas Arooj Fatima / Książka Miękka
common.buy 178.17 zł
Microorganismos en el Material Particulado y su riesgo en salud Luis Camilo Blanco Becerra / Książka Miękka
common.buy 267.15 zł
Rosanda y el hombrecito blanco Ángeles González-Sinde / Książka Miękka
common.buy 59.45 zł
Laissons Faire - n.42 - fevrier 2022 Benoit Malbranque / Książka Miękka
common.buy 39.18 zł

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. 

ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.

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 Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
Autor Tiziana Margaria, Bernhard Steffen
Język Angielski
Oprawa Książka - Miękka
Data wydania 2024
Liczba stron 210
EAN 9783031753893
Kod Libristo 46539682
Wydawnictwo Springer, Berlin
Waga 347
Wymiary 155 x 235

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria 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ć

PROTECTION'S BROOD: A PRESENTATION OF TH WILLIAM WIL CREHORE / Książka Twarda
common.buy 145.76 zł
Dave Dawson At Guadalcanal Robert Sidney Bowen / Książka Miękka
common.buy 137.32 zł
Concise History of Australia Stuart Macintyre / Książka Twarda
common.buy 507.98 zł
All-new, All-different Avengers Vol. 3 Mark Waid / Książka Miękka
common.buy 68.09 zł
Taboo Trysts: The Mega Collection: Cuckold Cheating Series Charlee Cox / Książka Miękka
common.buy 29.31 zł
DK EYEWITNESS BOOKS WORLD WAR II ADAMS SIMON / Książka Twarda
common.buy 99.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