Formal Methods

26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II

Vše od Springer International Publishing AG
ISBN: 9783031711763

The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected...

Více o produktu


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

3 819 Kč

1 - 2 ks
3 819 Kč
3 - 10 ks
3 781 Kč
11 a více ks
3 744 Kč

Naše cena 3 819 Kč je o 6 % nižší než
doporučená cena výrobce 4 062 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.

3 819 Kč 4 062 Kč

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

Více o produktu

The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions.

Výrobce
Springer International Publishing AG
Jazyk
Switzerland
Rozměry
235 x 155
Rok vydání
2024
Počet stran
652
Obsah
Paperback / softback
Počet stran
652 pages, 170 Illustrations, color; 23 Illustrations, black and white; XXII, 652 p. 193 illus., 170

Zanechte své hodnocení

Budeme rádi, když se podělíte o svou zkušenost s Formal Methods 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!