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 GLS pont 1 390 Ft FoxPost 1 190 Ft Packeta 1 190 Ft DPD gyűjtőpont 990 Ft GLS futár 1 790 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
43 856 Ft
Beszállítói készleten Küldés 9-15 napon belül

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

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 448 Ft
Andre Cornelis M Paul Bourget / Könyv Puha kötésű
common.buy 4 859 Ft
LEURO COMMENT LA MONNAIE UNIQUE MENACE LAVENIR DE LEUROPE JOSEPH E STIGLITZ / Könyv Könyv
common.buy 19 039 Ft
Encrucijada Rodolfo Martinez / E-könyv Adobe ePub DRM
common.buy 1 361 Ft
Moja kaligrafia Cyferki Dorota Krassowska / Könyv Puha kötésű
common.buy 558 Ft
Hamarosan
Moluk Bilibo Balance- und Spielschale lila / Játék Játék
common.buy 12 071 Ft
Wild Julia Ruby Hildebrand / Könyv Kemény kötésű
common.buy 8 412 Ft
Bilder des Kaisers von Deutschland Bernd Schubert / Könyv Puha kötésű
common.buy 27 580 Ft
Kostenrechnung 1 - Grundlagen Klaus-Dieter Däumler / Könyv Puha kötésű
common.buy 10 932 Ft
Heidejagd Angela L. Forster / Könyv Puha kötésű
common.buy 4 651 Ft
Über die Anwendung der vertikalen Extension bei der Behandlung von Oberschenkelfrakturen rachitischer Kinder Wilhelm Stoeltzner / Könyv Puha kötésű
common.buy 4 887 Ft
AutoCAD Fur Die Haustechnik Olaf Schymura / Könyv Puha kötésű
common.buy 20 004 Ft
Dinosaury / Könyv Leporelló
common.buy 3 336 Ft
Non-controlling minority shareholdings under eu competition law ( MIGUEL VERDEGUER SAGARRA / Könyv Könyv
common.buy 20 239 Ft
Filosofía de la ciencia HERCE FERNANDEZ / Könyv Puha kötésű
common.buy 5 385 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 14 854 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 651 Ft
Sol rojo sobre Hiroshima Mario Escobar Golderos / Könyv Puha kötésű
common.buy 10 784 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 19 870 Ft
Advances in Cryptology - ASIACRYPT 2015 Tetsu Iwata / Könyv Puha kötésű
common.buy 19 870 Ft
Toplistás
Inspired by Nature Hans Blomquist / Könyv Kemény kötésű
common.buy 9 160 Ft
Acrylics Adrian Burrows / Könyv Puha kötésű
common.buy 4 084 Ft
Acropolis STANISLA WYSPIANSKI / Könyv Könyv
common.buy 11 587 Ft
Native American Style Seed Bead Jewelry. Part I. Bracelets Artium Studia / Könyv Puha kötésű
common.buy 6 469 Ft
Bloom: Best Arizona Teen Writing of 2014 Young Authors of Arizona / Könyv Puha kötésű
common.buy 5 676 Ft
An Epitome of the Law Affecting Marine Insurance. Lawrence Duckworth / Könyv Puha kötésű
common.buy 6 935 Ft
TEACHERS MANUAL FOR THE 1ST RE Montrose J. Moses / Könyv Kemény kötésű
common.buy 12 805 Ft
Textual analysis for English Language and Literature for the IB Diploma Carolyn P. Henly / Könyv Puha kötésű
common.buy 13 797 Ft
New Sogang Korean 1A Workbook Song-hee Kim / Könyv Puha kötésű
common.buy 6 949 Ft
George II Andrew C Thompson / Könyv Puha kötésű
common.buy 9 630 Ft
What Labs Love Ed Camelli / Könyv Kemény kötésű
common.buy 8 721 Ft
Tami's Pocket Posh Journal, Chevron Andrews McMeel Publishing / Könyv Puha kötésű
common.buy 2 999 Ft
Ike the Eskimo Daniel Roberts / Könyv Puha kötésű
common.buy 4 933 Ft
Death at the Member-Guest James Y. Bartlett / Könyv Puha kötésű
common.buy 7 771 Ft
Unintended Consequences Stuart Woods / Könyv Puha kötésű
common.buy 5 722 Ft
Paw Patrol: Jet to the Rescue / Filmek DVD
common.buy 2 676 Ft
Let's Talk About: Sharing the Gospel Robert Bowen / E-könyv Adobe ePub DRM
common.buy 1 564 Ft
Sports Coaching Cultures Kathleen M. Armour / E-könyv Adobe ePub DRM
common.buy 29 749 Ft
Hamarosan
Clinical Oncology Venkata Koyyala / Könyv Puha kötésű
common.buy 14 591 Ft
Practical Python Security Dennis Byrne / Könyv Puha kötésű
common.buy 24 304 Ft
Toplistás
Less is More Jason Hickel / Könyv Puha kötésű
common.buy 4 125 Ft
Toplistás
Avatar: The Last Airbender - The Search Omnibus Gene Luen Yang / Könyv Puha kötésű
common.buy 7 582 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