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

12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Formal Methods and Software Engineering Jin Song Dong
Libristo kód: 01656973
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, október 2010
This book constitutes the refereed proceedings of the 12th International§Conference on Formal Engine... Teljes leírás
? points 300 b
44 907 Ft
Beszállítói készleten alacsony példányszámban Küldés 14-21 napon belül

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

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

Le Mont-Saint-Michel -Neerlandais- Henry Decaens / Könyv Puha kötésű
common.buy 4 494 Ft
Andre Cornelis M Paul Bourget / Könyv Puha kötésű
common.buy 4 975 Ft
LEURO COMMENT LA MONNAIE UNIQUE MENACE LAVENIR DE LEUROPE JOSEPH E STIGLITZ / Könyv Könyv
common.buy 17 950 Ft
Encrucijada Rodolfo Martinez / E-könyv Adobe ePub DRM
common.buy 1 394 Ft
Toplistás
Moja kaligrafia Cyferki Dorota Krassowska / Könyv Puha kötésű
common.buy 477 Ft
Hamarosan
Moluk Bilibo Balance- und Spielschale lila / Játék Játék
common.buy 12 347 Ft
Wild Julia Ruby Hildebrand / Könyv Kemény kötésű
common.buy 8 614 Ft
Bilder des Kaisers von Deutschland Bernd Schubert / Könyv Puha kötésű
common.buy 28 242 Ft
Kostenrechnung 1 - Grundlagen Klaus-Dieter Däumler / Könyv Puha kötésű
common.buy 11 194 Ft
Heidejagd Angela L. Forster / Könyv Puha kötésű
common.buy 4 763 Ft
Über die Anwendung der vertikalen Extension bei der Behandlung von Oberschenkelfrakturen rachitischer Kinder Wilhelm Stoeltzner / Könyv Puha kötésű
common.buy 5 004 Ft
AutoCAD Fur Die Haustechnik Olaf Schymura / Könyv Puha kötésű
common.buy 20 483 Ft
Dinosaury / Könyv Leporelló
common.buy 3 416 Ft
Non-controlling minority shareholdings under eu competition law ( MIGUEL VERDEGUER SAGARRA / Könyv Könyv
common.buy 18 792 Ft
Filosofía de la ciencia HERCE FERNANDEZ / Könyv Puha kötésű
common.buy 4 975 Ft
Potential von Poetry Slam fur den Literaturunterricht. Analyse zweier Texte von Bas Boettcher und Nora Gomringer Vanessa Ewald / Könyv Puha kötésű
common.buy 15 210 Ft
Sobre el estudio de la historia. y los Apéndices de la Historia de Inglaterra Hume / Könyv Puha kötésű
common.buy 4 300 Ft
Sol rojo sobre Hiroshima Mario Escobar Golderos / Könyv Puha kötésű
common.buy 11 042 Ft

This book constitutes the refereed proceedings of the 12th International§Conference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China, November 2010.§The 42 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on theorem proving and decision procedures, web services and workflow, verification, applications of formal methods, probability and concurrency, program analysis, model checking, object orientation and model driven engineering, as well as specification and verification.

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, Huibiao Zhu
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2010
Oldalszám 712
EAN 9783642169007
ISBN 3642169007
Libristo kód 01656973
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 1024
Méretek 158 x 242 x 28

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 > Operációs rendszerek
Számítástechnika és információtechnológia > Számítógéptudomány
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

Service-Oriented Computing - ICSOC Workshops 2012 Aditya Ghose / Könyv Puha kötésű
common.buy 20 346 Ft
Advances in Cryptology - ASIACRYPT 2015 Tetsu Iwata / Könyv Puha kötésű
common.buy 20 346 Ft
Inspired by Nature Hans Blomquist / Könyv Kemény kötésű
common.buy 8 420 Ft
Acrylics Adrian Burrows / Könyv Puha kötésű
common.buy 4 168 Ft
Acropolis STANISLA WYSPIANSKI / Könyv Könyv
common.buy 11 865 Ft
Native American Style Seed Bead Jewelry. Part I. Bracelets Artium Studia / Könyv Puha kötésű
common.buy 6 625 Ft
Bloom: Best Arizona Teen Writing of 2014 Young Authors of Arizona / Könyv Puha kötésű
common.buy 5 812 Ft
An Epitome of the Law Affecting Marine Insurance. Lawrence Duckworth / Könyv Puha kötésű
common.buy 7 102 Ft
TEACHERS MANUAL FOR THE 1ST RE Montrose J. Moses / Könyv Kemény kötésű
common.buy 13 112 Ft
Toplistás
Textual analysis for English Language and Literature for the IB Diploma Carolyn P. Henly / Könyv Puha kötésű
common.buy 14 128 Ft
New Sogang Korean 1A Workbook Song-hee Kim / Könyv Puha kötésű
common.buy 7 116 Ft
Hamarosan
George II Andrew C Thompson / Könyv Puha kötésű
common.buy 7 943 Ft
What Labs Love Ed Camelli / Könyv Kemény kötésű
common.buy 8 930 Ft
Tami's Pocket Posh Journal, Chevron Andrews McMeel Publishing / Könyv Puha kötésű
common.buy 3 071 Ft
Death at the Member-Guest James Y. Bartlett / Könyv Puha kötésű
common.buy 7 957 Ft
Unintended Consequences Stuart Woods / Könyv Puha kötésű
common.buy 5 859 Ft
Paw Patrol: Jet to the Rescue / Filmek DVD
common.buy 2 740 Ft
Let's Talk About: Sharing the Gospel Robert Bowen / E-könyv Adobe ePub DRM
common.buy 1 588 Ft
Sports Coaching Cultures Kathleen M. Armour / E-könyv Adobe ePub DRM
common.buy 32 305 Ft
Hamarosan
Clinical Oncology Venkata Koyyala / Könyv Puha kötésű
common.buy 14 941 Ft
Practical Python Security Dennis Byrne / Könyv Puha kötésű
common.buy 25 785 Ft
Toplistás
Less is More Jason Hickel / Könyv Puha kötésű
common.buy 4 583 Ft
Toplistás
Avatar: The Last Airbender - The Search Omnibus Gene Luen Yang / Könyv Puha kötésű
common.buy 7 763 Ft
Toplistás
400 classic Killer sudoku 9 x 9 VERY HARD + BONUS 250 Hidoku puzzles: Sudoku with VERY HARD levels puzzles and a Hidoku 9 x 9 very hard levels Basford Holmes / Könyv Puha kötésű
common.buy 4 045 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?