Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II

Vše od Springer International Publishing AG
ISBN: 9783031751066

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.

Více o produktu


Nejprodávanější produkty v aktuálním měsíci.

1 909 Kč

1 - 2 ks
1 909 Kč
3 - 10 ks
1 890 Kč
11 a více ks
1 872 Kč

Naše cena 1 909 Kč je o 6 % nižší než
doporučená cena výrobce 2 031 Kč.

Předpoklad doručení do 27. května *

* Termín expedice je odhadovaný a může se mírně upravit podle termínu dodání od našeho dodavatele. Pokud by došlo ke změně, vždy vás budeme včas informovat.

1 909 Kč 2 031 Kč

Nepřehlédněte od Springer International Publishing AG

Více o produktu

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.

Výrobce
Springer International Publishing AG
Jazyk
Switzerland
Rozměry
235 x 155
Rok vydání
2024
Počet stran
370
Obsah
Paperback / softback
Počet stran
370 pages, 60 Illustrations, color; 54 Illustrations, black and white

Zanechte své hodnocení

Budeme rádi, když se podělíte o svou zkušenost s Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems a pomůžete tak ostatním zákazníkům při výběru.

Navíc každý měsíc losujeme jednoho z těch, kteří nám zanechali recenzi, a obdarujeme ho kuponem na nákup v hodnotě 500 Kč. Možná právě Vy budete tím šťastným – držíme palce!