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

5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Formal Methods and Software Engineering Jin Song Dong
Libristo kód: 01558768
Kiadó Springer, Berlin, november 2002
This book constitutes the refereed proceedings of the 5th International Conference on Formal Enginee... Teljes leírás
? points 271 b
40 574 Ft
Beszállítói készleten Küldés 5-8 napon belül

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

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

Mr. Tod (Traditional Chinese): 01 Paperback Color H y Xiao Phd / Könyv Puha kötésű
common.buy 17 454 Ft
Un Regalo para el Alma 3 Jose Maria Ventura / Könyv Puha kötésű
common.buy 5 798 Ft
Soleil d'or CLERGEOT-L / Könyv Puha kötésű
common.buy 10 220 Ft
La sala de lo penal MUNILLA PETREÑAS / Könyv Puha kötésű
common.buy 4 508 Ft
Diccionario de jugadores del Real Madrid ENRIQUE MARCOS / Könyv Puha kötésű
common.buy 9 516 Ft
Wittgenstein et la question du livre Guest / Könyv Puha kötésű
common.buy 11 359 Ft
Mini livre à gratter - Dinosaures Duddek / Könyv Puha kötésű
common.buy 4 494 Ft
Juwelen aus El Moryas Schatzhaus El Morya / Könyv Puha kötésű
common.buy 5 920 Ft
Aria - Tome 40 - Carnet de voyage Weyland Michel / Könyv Kemény kötésű
common.buy 7 220 Ft
Wise Man's Grandchild 12 Shunsuke Ogata / Könyv Puha kötésű
common.buy 2 353 Ft
Lehrergesundheit. Anleitung zur Selbst- und Fremdfürsorge Viviane Scherenberg / Könyv Puha kötésű
common.buy 2 594 Ft
Jméno-objev a zmizení věci Antonín Mokrejš / Könyv Puha kötésű
common.buy 3 582 Ft

This book constitutes the refereed proceedings of the 5th International Conference on Formal Engineering Methods, ICFEM 2003, held in Singapore in November 2003.§The 34 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on testing and validation, state diagrams, PVS/HOL, refinement, hybrid systems, Z/Object-Z, Petri nets, timed automata, system modelling and checking, and semantics and synthesis.

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ő Jin Song Dong, Jim Woodcock
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2003
Oldalszám 682
EAN 9783540204619
ISBN 354020461X
Libristo kód 01558768
Kiadó Springer, Berlin
Súly 966
Méretek 155 x 235 x 35

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

Wall Jean Paul Sartre / Könyv Puha kötésű
common.buy 4 810 Ft
William Shakespeare's the Merry Rise of Skywalker: Star Wars Part the Ninth DOESCHER IAN / Könyv Kemény kötésű
common.buy 6 880 Ft
This Is What It Sounds Like: What the Music You Love Says about You Ogi Ogas / Könyv Puha kötésű
common.buy 5 694 Ft
BattleTech Legends Robert Thurston / Könyv Puha kötésű
common.buy 5 453 Ft
The Instant Enlightenment of Ordinary People: Nichiren Buddhism 2.0 for the 21st Century Yukio Matsudo / Könyv Puha kötésű
common.buy 6 880 Ft
49 DIVISION 146 Infantry Brigade Prince of Wales's Own (West Yorkshire Regiment) 1/7th Battalion Wo95/2795/1 / Könyv Puha kötésű
common.buy 9 426 Ft
Bird House Libby Walden / Könyv Leporelló
common.buy 4 583 Ft
Learner-Centered Classroom Practices and Assessments Barbara L. McCombs / Könyv Kemény kötésű
common.buy 27 240 Ft
Diabetic Retinopathy - A Guide for Diabetes Care Teams William D. Alexander / Könyv Puha kötésű
common.buy 21 097 Ft
Thorney Liber Vitae (London, British Library, Additional MS 40,000, fols 1-12r) Lynda Rollason / Könyv Kemény kötésű
common.buy 54 329 Ft
How We Know Harry Binswanger / Könyv Kemény kötésű
common.buy 15 328 Ft
Oxford Reading Tree Story Sparks: Oxford Level 8: The Wish Fisher Holly Harper / Könyv Puha kötésű
common.buy 4 838 Ft
Women and Leadership Around the World Cynthia Cherrey / Könyv Puha kötésű
common.buy 24 140 Ft
The Higher Power of Lucky Susan Patron / Könyv Puha kötésű
common.buy 2 788 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?