Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Posta 1 795 Ft
DPD 1 995 Ft
PostaPont / Csomagautomata 1 690 Ft
Postán 1 690 Ft
GLS futár 1 590 Ft
Packeta 990 Ft
GLS pont 1 390 Ft
Hogyan vásároljunk
Segítség
Kézbesítés
Posta 1 795 Ft
DPD 1 995 Ft
PostaPont / Csomagautomata 1 690 Ft
Postán 1 690 Ft
GLS futár 1 590 Ft
Packeta 990 Ft
GLS pont 1 390 Ft
Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Vásárlási tanácsadó
Segíthetünk?
+36 1 6333 184
Saját fiók
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 fiók létrehozása
▸
Üres :-(
0
Integrated Formal Methods
Nyelv
Angol
Angol
Könyv
Puha kötésű
This book constitutes the refereed proceedings of the 7th International Conference on Integrated For...
Teljes leírás
Libristo kód: 01649327
?
154 b
154 b
24 806
Ft
Beszállítói készleten alacsony példányszámban
Küldés 10-15 napon belül
30 nap a termék visszaküldésére
Ezt is ajánljuk
This book constitutes the refereed proceedings of the 7th International Conference on Integrated Formal Methods, IFM 2009, held in Düsseldorf, Germany in February 2009.§The 21 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 55 submissions. The papers address the whole spectrum of integrated formal methods, ranging from formal and semiformal modelling notations, semantics, verification, refinement, model transformations to type systems, logics, tools and case studies.
Információ a könyvről
Teljes megnevezés
Integrated Formal Methods
Szerző
Michael Leuschel, Heike Wehrheim
Nyelv
Angol
Angol
Kötés
Könyv - Puha kötésű
Kiadás éve
2009
Oldalszám
367
EAN
9783642002540
ISBN
3642002544
Libristo kód
01649327
Súly
581
Méretek
155 x 235 x 21
Kategória
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ű
