[email protected]
LIBRISTO 0
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 Packeta 990 Ft GLS futár 1 590 Ft GLS pont 1 390 Ft
phone Kapcsolat phoneHogyan vásároljunk

Integrated Formal Methods

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Integrated Formal Methods Elvira Albert
Libristo kód: 05147795
Kiadó Springer International Publishing AG, augusztus 2014
This book constitutes the refereed proceedings of the 11th International Conference on Integrated Fo... Teljes leírás
? points 154 b
24 164 Ft
Beszállítói készleten alacsony példányszámban Küldés 13-16 napon belül

30 nap a termék visszaküldésére

Ezt is ajánljuk

Glasgow Sean Damer / Puha kötésű
common.buy 8 488 Ft
The Grey - Unter Wölfen, 1 Blu-ray Roger Barton / Blu-ray
common.buy 5 239 Ft
State and Status Samuel Clark / Puha kötésű
common.buy 11 753 Ft
Missa Sancti Amandi, Partitur Joseph Haydn / Kotta
common.buy 17 118 Ft
School Counselor's Letter Book Anne Tifft Hitchner / Puha kötésű
common.buy 14 797 Ft
Economics of Deforestation Sven Wunder / Kemény kötésű
common.buy 47 656 Ft
Pre-Faces and Other Writings Jerome Rothenberg / Puha kötésű
common.buy 3 199 Ft

This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 43 submissions. The papers have been organized in the following topical sections: tool integration; model verification; program development; security analysis; analysis and transformation; and concurrency and control.

Információ a könyvről

Teljes megnevezés Integrated Formal Methods
Szerző Elvira Albert, Emil Sekerinski
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2014
Oldalszám 390
EAN 9783319101804
ISBN 3319101803
Libristo kód 05147795
Kiadó Springer International Publishing AG
Súly 6088
Méretek 155 x 235 x 22

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ű
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
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
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

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása