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 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
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

10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Formal Methods and Software Engineering Shaoying Liu
Libristo kód: 01570773
Kiadó Springer, Berlin, november 2007
This book constitutes the refereed proceedings of the 10th International Conference on Formal Engine... Teljes leírás
? points 145 b
21 706 Ft
Beszállítói készleten alacsony példányszámban Küldés 13-18 napon belül

Akár 30 napos visszaküldési lehetőség

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

Programmieren Lernen Peter Pepper / Könyv Puha kötésű
common.buy 17 094 Ft
Grenzen, Nähe, Respekt Jesper Juul / Könyv Puha kötésű
common.buy 4 669 Ft
Finanzpolitik im Umbruch: Zur Konsolidierung öffentlicher Haushalte. Hans Herbert von Arnim / Könyv Puha kötésű
common.buy 30 690 Ft
Herrschaft Susanne Held / Könyv Kemény kötésű
common.buy 9 418 Ft
Richterrecht und Verfassung. Jörn Ipsen / Könyv Puha kötésű
common.buy 23 878 Ft
matrimonio nel diritto ebraico Daniele Zaccheddu / Könyv Puha kötésű
common.buy 12 888 Ft

This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008.§The 20 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 62 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification and verification; testing; verification; model checking and analysis; tools; application of formal methods; semantics.

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ő Shaoying Liu, Tom Maibaum, Keijiro Araki
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2008
Oldalszám 397
EAN 9783540881933
ISBN 354088193X
Libristo kód 01570773
Kiadó Springer, Berlin
Súly 635
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ű
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 > Operációs rendszerek
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

NUMIFORM 2010 Frederic Barlat / Könyv Puha kötésű
common.buy 179 070 Ft
Essay Towards an Easy and Useful System of Logic Robert Blakey / Könyv Kemény kötésű
common.buy 12 708 Ft
Hamarosan
Measuring the Early Modern and Modern Chinese Economy Ziang Liu / Könyv Kemény kötésű
common.buy 65 402 Ft
Kimi ni Todoke: From Me to You: Soulmate, Vol. 3 Karuho Shiina / Könyv Puha kötésű
common.buy 3 758 Ft
Giorgio Strehler Directs Carlo Goldoni Scott Malia / E-könyv Adobe ePub DRM
common.buy 41 496 Ft
Horror Before It Was Cool Weasel Press / Könyv Puha kötésű
common.buy 3 352 Ft
Lives Of Scottish Authors (1801) David Irving / Könyv Puha kötésű
common.buy 9 385 Ft
Developing a Champion's Heart: Leadership Lessons from the Life of David Brian Rezendes / Könyv Puha kötésű
common.buy 3 352 Ft
Ruins of Fate Jamie a Waters / Könyv Kemény kötésű
common.buy 6 288 Ft
Diana Carew Colonel Bridges / Könyv Puha kötésű
common.buy 10 032 Ft
Embracing and Educating the Autistic Child Nicholas D. Young / Könyv Puha kötésű
common.buy 13 563 Ft
Hive to Honey Julie Knutson / Könyv Puha kötésű
common.buy 4 867 Ft
I Love You God Amal Ishraim / Könyv Puha kötésű
common.buy 3 786 Ft
Three Lakes Alan Tulppo / Könyv Kemény kötésű
common.buy 9 805 Ft
Orienting Polymers J.-L. Ericksen / Könyv Puha kötésű
common.buy 9 399 Ft
Microelectronics Education Ton J. Mouthaan / Könyv Kemény kötésű
common.buy 37 323 Ft
Statistical Analysis of Environmental Space-Time Processes Nhu D. Le / Könyv Puha kötésű
common.buy 55 913 Ft
Yacoubian Building Alaa Al Aswany / Könyv Puha kötésű
common.buy 4 164 Ft
So Far, So Goude Jean-Paul Goude / Könyv Kemény kötésű
common.buy 40 462 Ft
Body Image Breakthrough Jaci Wightman / Könyv Puha kötésű
common.buy 4 924 Ft
The Garden Crew (We Read Phonics - Level 6) Sindy McKay / Könyv Puha kötésű
common.buy 2 426 Ft
Film Business: A Handbook for Producers Tom Jeffrey / Könyv Puha kötésű
common.buy 12 081 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?