Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt.
Ingyenes regisztráció
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD futárszolgálat 1 190 Ft
Posta 1 795 Ft
PostaPont / Csomagautomata 1 690 Ft
Postán 1 690 Ft
GLS pont 1 390 Ft
FoxPost 1 190 Ft
Packeta 1 190 Ft
DPD gyűjtőpont 990 Ft
GLS futár 1 790 Ft
Kapcsolat
Hogyan vásároljunk
Segítség
Kézbesítés
DPD futárszolgálat 1 190 Ft
Posta 1 795 Ft
PostaPont / Csomagautomata 1 690 Ft
Postán 1 690 Ft
GLS pont 1 390 Ft
FoxPost 1 190 Ft
Packeta 1 190 Ft
DPD gyűjtőpont 990 Ft
GLS futár 1 790 Ft
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
Vásárlási tanácsadó
Segíthetünk?
+36 9 6998 040
Saját fiók
▸
Üres :-(
0
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel
Formal Methods
27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part I.DE
Nyelv
Angol
Angol
Könyv
Puha kötésű
The open access book set LNCS 16556 + 16557 constitutes the refereed proceedings of the 27th Interna...
Teljes leírás
Libristo kód: 51590260
?
133 b
Új
133 b
Új
19 455
Ft
Beszállítói készleten alacsony példányszámban
Küldés 13-18 napon belül
30 nap a termék visszaküldésére
The open access book set LNCS 16556 + 16557 constitutes the refereed proceedings of the 27th International Symposium on Formal Methods, FM 2026, held in Tokyo, Japan, during May 18 22, 2026.
The 49 full and 2 short papers included in these proceedings were carefully reviewed and selected from 239 submissions. The proceedings also include 4 invited talks, 8 tutorial papers, and 9 papers from the industry day track. The contributions were organized in topical sections as follows:
Part I: Invited Papers; and Main Track (1)
Part II: Main Track (2); Tests and Proofs Track (TAP); Tutorial Track; and Industry Day Track
Színésznő
&
Poliglott
EWA KASP
részére
A videó lejátszása
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.
Információ a könyvről
Teljes megnevezés
Formal Methods
Szerző
Augusto Sampaio, Marielle Stoelinga
Nyelv
Angol
Angol
Kötés
Könyv - Puha kötésű
Kiadás éve
2026
Oldalszám
651
EAN
9783032262035
Libristo kód
51590260
Kiadó
Springer, Berlin
Súly
963
Méretek
155 x 235
Kategória
Számítástechnika és információtechnológia
>
Számítógéptudomány
>
Mesterséges intelligencia
>
Szakértői rendszerek / tudás alapú rendszerek
Számítástechnika és információtechnológia
>
Számítógéptudomány
>
Mesterséges intelligencia
>
Természetes nyelvi és gépi fordítás
Számítástechnika és információtechnológia
>
Számítógépes programozás / szoftvermérnöki tudomány
>
Programozási és szoftveres nyelvek: általános jellegű
Számítástechnika és információtechnológia
>
Számítógépes programozás / szoftvermérnöki tudomány
>
Szoftvermérnöki tudomány
