Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

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

Vše od Springer International Publishing AG
ISBN: 9783031753794

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.

2 031 Kč

1 - 2 ks
2 031 Kč
3 - 10 ks
2 011 Kč
11 a více ks
1 991 Kč

Předpoklad doručení do 11. 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.

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
155 x 234 x 24
Rok vydání
2024
Počet stran
406
Obsah
Paperback / softback
Hmotnost
636
Počet stran
406 pages, 87 Illustrations, color; 26 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. Specification and Verification 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!