Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Zbog tehničkih razloga telefonska podrška danas neće biti dostupna, molimo kontaktirajte nas putem e-maila.
Zbog tehničkih razloga telefonska podrška danas neće biti dostupna, molimo kontaktirajte nas putem e-maila.

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

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Leveraging Applications of Formal Methods, Verification and Validation. Application Areas Tiziana Margaria
Libristo kod: 46539682
Nakladnici Springer, Berlin, studeni 2023
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th Inter... Cijeli opis
? points 125 b
51.26 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Protección de imágenes mediante mapas logísticos 2D Criptografía de curvas elípticas Arooj Fatima / Knjiga Meki uvez
common.buy 40.71 €
El cielo en tu mirada: Hasta que llegaste 1 Maria Viqueira / Knjiga Meki uvez
common.buy 15.77 €
Vida de Desobediencia e Vida de Obediencia Dr Jaerock Lee / Knjiga Meki uvez
common.buy 11.15 €
Full fart Niki Loong / E-knjiga Adobe ePub DRM
common.buy 6.93 €
Laissons Faire - n.42 - fevrier 2022 Benoit Malbranque / Knjiga Meki uvez
common.buy 8.94 €
Les vertus de l'espoir Guissé / Knjiga Meki uvez
common.buy 10.85 €
The k-nearest neighbors estimation of the conditional mode Wahiba Bouabsa / Knjiga Meki uvez
common.buy 35.48 €
Rosanda y el hombrecito blanco Ángeles González-Sinde / Knjiga Meki uvez
common.buy 12.76 €
Microorganismos en el Material Particulado y su riesgo en salud Luis Camilo Blanco Becerra / Knjiga Meki uvez
common.buy 61.11 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
Autor Tiziana Margaria, Bernhard Steffen
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2024
Broj stranica 210
EAN 9783031753893
Libristo kod 46539682
Nakladnici Springer, Berlin
Težina 347
Dimenzije 155 x 235

Kategorija

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

PROTECTION'S BROOD: A PRESENTATION OF TH WILLIAM WIL CREHORE / Knjiga Tvrdi uvez
common.buy 33.37 €
Dave Dawson At Guadalcanal Robert Sidney Bowen / Knjiga Meki uvez
common.buy 31.46 €
Modern Jewish Philosophy and the Politics of Divine Violence Daniel H. Weiss / E-knjiga Adobe ePub DRM
common.buy 38.19 €
Photodermatology James Ferguson / Knjiga Tvrdi uvez
common.buy 39.00 €
Dreadnought Michael Wallace / Knjiga Meki uvez
common.buy 10.24 €
Do It Now! William J. Knaus / E-knjiga Adobe ePub DRM
common.buy 12.36 €
Concise History of Australia Stuart Macintyre / Knjiga Tvrdi uvez
common.buy 116.21 €
Taboo Trysts: The Mega Collection: Cuckold Cheating Series Charlee Cox / Knjiga Meki uvez
common.buy 6.73 €
DK EYEWITNESS BOOKS WORLD WAR II ADAMS SIMON / Knjiga Tvrdi uvez
common.buy 22.71 €
THE SICK DRAGON BIG BOOK E / Knjiga Knjiga
common.buy 34.67 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?