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 gyűjtőpont 990 Ft
DPD futárszolgálat 1 190 Ft
GLS pont 1 190 Ft
Magyar Posta 1 795 Ft
PostaPont / Csomagautomata 1 690 Ft
Magyar Posta 1 690 Ft
FoxPost 1 190 Ft
Packeta 1 190 Ft
GLS futár 1 690 Ft
Kapcsolat
Hogyan vásároljunk
Segítség
Kézbesítés
DPD gyűjtőpont 990 Ft
DPD futárszolgálat 1 190 Ft
GLS pont 1 190 Ft
Magyar Posta 1 795 Ft
PostaPont / Csomagautomata 1 690 Ft
Magyar Posta 1 690 Ft
FoxPost 1 190 Ft
Packeta 1 190 Ft
GLS futár 1 690 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
FM 2011: Formal Methods
17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings
Nyelv
Angol
Angol
Könyv
Puha kötésű
This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods...
Teljes leírás
Libristo kód: 01658105
?
152 b
152 b
22 293
Ft
Beszállítói készleten alacsony példányszámban
Küldés 14-21 napon belül
Akár 30 napos visszaküldési lehetőség
This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011. §The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking.
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
FM 2011: Formal Methods
Szerző
Michael Butler, Wolfram Schulte
Nyelv
Angol
Angol
Kötés
Könyv - Puha kötésű
Kiadás éve
2011
Oldalszám
450
EAN
9783642214363
ISBN
3642214363
Libristo kód
01658105
Súly
694
Méretek
155 x 235 x 28
Kategória
Számítástechnika és információtechnológia
>
Számítógéptudomány
>
Ember-számítógép interakció
>
Információépítészet
Számítástechnika és információtechnológia
>
Számítógépes programozás / szoftvermérnöki tudomány
>
Fordítóprogramok és értelmezőprogramok (compilers & interpreters)
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
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére
Libroamiko könyvtanácsadó
A chat használatával generatív mesterséges intelligenciával kommunikálsz. A használatával beleegyezel a személyes adatok kezelésébe is.
Szia! Libroamiko vagyok, a könyvtanácsadód.
Miben segíthetek?
Szia, Libroamiko vagyok, segíthetek?