phone +36 1 6333 184
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 GLS futár 1 590 Ft Packeta 990 Ft
phone Kapcsolat phoneHogyan vásároljunk

Formal Methods and Software Engineering

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Formal Methods and Software Engineering Michael Butler
Libristo kód: 09535572
Kiadó Springer International Publishing AG, november 2015
This book constitutes the refereed proceedings of the 17th International§Conference on Formal Engine... Teljes leírás
? points 168 b
26 153 Ft
Beszállítói készleten alacsony példányszámban Küldés 12-17 napon belül

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

Ezt is ajánljuk

More! Level 1 Presentation Plus DVD-ROM Herbert Puchta / Digitális DVD
common.buy 35 551 Ft
Auf dass wir klug werden Anja Zimmer / Puha kötésű
common.buy 5 728 Ft
Chaplains of ANZAC Dr Jennifer Betham-Lang / Kemény kötésű
common.buy 7 077 Ft
Rival Truths Lindsay St Claire / Puha kötésű
common.buy 8 636 Ft
de l'Utilite Des Colonies Pour La France Et Du Systeme Des Douanes Applique Aux Denrees Coloniales Ambert-J / Puha kötésű
common.buy 6 629 Ft
Biotechs A Schneider / Puha kötésű
common.buy 16 212 Ft
Entstehung und Entwicklung des nationalsozialistischen Denkens in OEsterreich. Eine Analyse von Martin Pollacks "Der Tote im Bunker. Bericht uber mein Kacper Piontkowski / Puha kötésű
common.buy 18 269 Ft
Essai Philosophique Sur Le Corps Humain: Pour Servir de Suite A La Philosophie de la Nature. V2 Jean Baptiste Claude Delisle De Sales / Puha kötésű
common.buy 13 243 Ft
Thermo-Hydraulics of Nuclear Reactors Christopher Earls Brennen / Kemény kötésű
common.buy 21 895 Ft
Die Geschichte des Gil Blas von Santillana Alain René Le Sage / Puha kötésű
common.buy 23 244 Ft
American Game Fishes; Their Habits, Habitat and Peculiarities; / Kemény kötésű
common.buy 18 702 Ft
Neurobrucellosis Mehmet Turgut / Kemény kötésű
common.buy 52 311 Ft

This book constitutes the refereed proceedings of the 17th International§Conference on Formal Engineering Methods, ICFEM 2015, held in Paris,§France, in November 2015. The 27 revised full papers presented were§carefully reviewed and selected from 82 submissions. The papers cover a wide§range of topics in the area of formal methods and software engineering and are§devoted to advancing the state of the art of applying formal methods in§practice. They focus in particular on combinations of conceptual and§methodological aspects with their formal foundation and tool support.

Információ a könyvről

Teljes megnevezés Formal Methods and Software Engineering
Szerző Michael Butler, Sylvain Conchon, Fatiha Za?di
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2015
Oldalszám 436
EAN 9783319254227
ISBN 3319254227
Libristo kód 09535572
Kiadó Springer International Publishing AG
Súly 6964
Méretek 155 x 235 x 236

Kategória

Számítástechnika és információtechnológia > Számítógépes hardver > Hálózati hardver
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Algoritmusok és adatszerkezetek
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
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