A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
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ó
0
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 FoxPost 1 190 Ft Packeta 1 190 Ft DPD gyűjtőpont 990 Ft GLS futár 1 690 Ft GLS pont 1 190 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Formal Methods and Software Engineering

13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Formal Methods and Software Engineering Shengchao Qin
Libristo kód: 01659032
Kiadó Springer, Berlin, november 2010
This book constitutes the refereed proceedings of the 13th International Conference on Formal Engine... Teljes leírás
? points 136 b
19 999 Ft
Beszállítói készleten Küldés 8-11 napon belül

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

A vásárlók ilyet vásároltak

Il Devoto-Oli dei sinonimi e contrari. Con analoghi, generici, inversi e gradazioni semantiche Maurizio Trifone / Könyv Puha kötésű
common.buy 31 619 Ft
Akademia owoce Opracowanie zbiorowe / Könyv Puha kötésű
common.buy 929 Ft
Poesies Choisies Et Pieces Inedites d'Alexis Piron PIRON-A / Könyv Puha kötésű
common.buy 10 046 Ft
Die «andere» Familie Arbeitskreis "Repräsentationen" / Könyv Kemény kötésű
common.buy 43 006 Ft
Commentaria in decem Categorias Aristotelis Simplicius / Könyv Kemény kötésű
common.buy 60 413 Ft

This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
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 and Software Engineering
Szerző Shengchao Qin, Zongyan Qiu
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2011
Oldalszám 670
EAN 9783642245589
ISBN 3642245587
Libristo kód 01659032
Kiadó Springer, Berlin
Súly 1143
Méretek 155 x 235 x 35

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

Ezt is ajánljuk

Paragraph Writing Jo Ellen Moore / Könyv Puha kötésű
common.buy 5 332 Ft
Masonic Tour Guide - Volume 2 DANIEL HANTTULA / Könyv Puha kötésű
common.buy 7 821 Ft
At The End Of The Day William J Epp / Könyv Puha kötésű
common.buy 7 454 Ft
The Keys Are Gone: A simple critique of the English Standard Version (ESV) Dr Daniel S Haifley / Könyv Puha kötésű
common.buy 3 623 Ft
Toplistás
Ruhnama: The Book of the Soul (Annotated Version) Saparmyrat Turkmenbasy / Könyv Puha kötésű
common.buy 3 976 Ft
Vogue x Music Magazine Vogue / Könyv Kemény kötésű
common.buy 22 502 Ft
Jean Prouvé Jean Prouvé / Könyv Kemény kötésű
common.buy 10 515 Ft
Die verlore bokkie (Afrikaans) Amanda Jesperson / Könyv Puha kötésű
common.buy 2 104 Ft
Classification of the Bantu Languages bound with Bantu Word Division Malcolm Guthrie / Könyv Puha kötésű
common.buy 19 999 Ft
Iron Ship-Building - With Practical Illustrations John Grantham / Könyv Kemény kötésű
common.buy 13 181 Ft
Odes Sharon Olds / Könyv Puha kötésű
common.buy 5 304 Ft
Speakout Advanced 2nd Edition Students' Book and DVD-ROM Pack Antonia Clare / Könyv Puha kötésű
common.buy 12 990 Ft
Impact of the Environment on Psychiatric Disorder Hugh Freeman / Könyv Kemény kötésű
common.buy 35 418 Ft
Arab and Arab American Feminisms Rabab Ibrahim Abdulhadi / Könyv Kemény kötésű
common.buy 13 492 Ft

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
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?