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 for Components and Objects

10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Formal Methods for Components and Objects Bernhard Beckert
Libristo kód: 01662914
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, január 2013
Formal methods have been applied successfully to the verification of medium-sized programs in protoc... Teljes leírás
? points 136 b
19 829 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

Digitale Kameratechnik Thomas Maschke / Könyv Puha kötésű
common.buy 14 561 Ft
Anuraagam Kanchana Mala Mahesh / Könyv Puha kötésű
common.buy 7 023 Ft
Az egyensúlyvesztéstől az új egyensúlyig Dr. Bagdy Emőke / Könyv Puha kötésű
common.buy 2 793 Ft
LA MORT NUE JEAN-HUGUES / Könyv Puha kötésű
common.buy 8 105 Ft
ET QUE PLEURENT LES DAUPHINS SAINT THOMAS / Könyv Puha kötésű
common.buy 4 849 Ft
Catalogo Dei Codici Persiani (1886) Italo Pizzi / Könyv Puha kötésű
common.buy 8 091 Ft
Payador Leopoldo Lugones / Könyv Puha kötésű
common.buy 6 134 Ft
Strážcovia Galaxie / Könyv Kemény kötésű
common.buy 3 532 Ft
Dieta Antiinflamatoria John Carter / Könyv Kemény kötésű
common.buy 10 412 Ft
Nenávist, kterou jsi probudil - DVD / Filmek Filmek
common.buy 2 791 Ft
Der Circus Zweimalsohoch Thomas Wörner / Könyv Kemény kötésű
common.buy 8 644 Ft
Retablos, prestigio y dinero : talleres y mercado de pintura en la Valencia del gótico internacional Matilde . . . [et al. ] Miquel Juan / Könyv Puha kötésű
common.buy 9 813 Ft
Des Partisans Fririon-J-F / Könyv Puha kötésű
common.buy 4 628 Ft
Competitive Balance in der TOYOTA Handball Bundesliga Cindy Pannu / Könyv Puha kötésű
common.buy 21 188 Ft
Laubsägen Pia Pedevilla / Könyv Puha kötésű
common.buy 3 343 Ft

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the development of large systems requires more emphasis on specification, modeling, and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java.§This book contains 20 revised papers submitted after the 10th Symposium on Formal Methods for Components and Objects, FMCO 2011, which was held in Turin, Italy, in October 2011. Topics covered include autonomic service-component ensembles; trustworthy eternal systems via evolving software, data, and knowledge; parallel patterns for adaptive heterogeneous multicore systems; programming for future 3D architectures with many cores; formal verification of object oriented software; and an infrastructure for reliable computer systems.

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 for Components and Objects
Szerző Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2013
Oldalszám 356
EAN 9783642358869
ISBN 3642358861
Libristo kód 01662914
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 563
Méretek 155 x 235 x 19

Kategória

Számítástechnika és információtechnológia > Digitális életstílus > Internet kalauzok és online szolgálatok > Internetes keresés
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 > Adatbázisok > Információ-visszakeresés
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 > Információtechnológia: általános jellegű
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

Toplistás
Handbook for Shooters and Reloaders Parker O. Ackley / Könyv Puha kötésű
common.buy 5 153 Ft
Health Tracking Log: 12 Week Diabetic Health Tracking Log (Celestial) 3j Journals / Könyv Puha kötésű
common.buy 3 606 Ft
Forests in Our World: How the Climate Affects Woodlands Gunther Willinger / Könyv Kemény kötésű
common.buy 25 304 Ft
Fifty Traditional And Classical Pieces for Easy Piano Dr Michael Hewitt / Könyv Puha kötésű
common.buy 3 942 Ft
Anna's Home Front SARA THOMSON / Könyv Puha kötésű
common.buy 5 577 Ft
Do What You Love - And Never Work Again!: Dare to take the money! Samuel Cremer / Könyv Puha kötésű
common.buy 4 964 Ft
Mr Benjamin's Suitcase of Secrets Pei-Yu Chang / Könyv Kemény kötésű
common.buy 6 792 Ft
Private Lives of the Tudors Tracy Borman / Könyv Puha kötésű
common.buy 5 563 Ft
A HISTORY OF EIGHTEENTH CENTURY LITERATU MA EDMUND GOSSE / Könyv Kemény kötésű
common.buy 14 575 Ft
Third Level Tithing Paul Wood / Könyv Puha kötésű
common.buy 6 484 Ft
A Sliver of Stardust Marissa Burt / Könyv Puha kötésű
common.buy 3 841 Ft
Niles' Weekly Register, Volume 12 William Ogden Niles / Könyv Kemény kötésű
common.buy 14 575 Ft
Global Mindsets John Kuada / Könyv Kemény kötésű
common.buy 88 918 Ft
Toplistás
Cognitive Behavior Therapy and Eating Disorders Christopher Fairburn / Könyv Kemény kötésű
common.buy 24 927 Ft
Gothic Fred Botting / Könyv Kemény kötésű
common.buy 38 829 Ft
Holism - A Shopper's Guide Jerry Fodor / Könyv Puha kötésű
common.buy 19 668 Ft
Shaping and Reshaping Chinese American Identity Jingyi Song / Könyv Kemény kötésű
common.buy 47 385 Ft
Pathfinder Rpg: Fists of the Ruby Phoenix Battle Cards (P2) Paizo Staff / Játék Játék
common.buy 19 014 Ft
Love Life Rob Lowe / Könyv Puha kötésű
common.buy 5 563 Ft
West European City Ils 179 Robert E. Dickinson / Könyv Kemény kötésű
common.buy 133 015 Ft
ESSAYS ON PRACTICAL POLITICS Theodore Roosevelt / Könyv Kemény kötésű
common.buy 12 779 Ft
Determined Fight Onward Robert Potts / Könyv Puha kötésű
common.buy 5 913 Ft
Ghost in the Hollows Patricia Komar / Könyv Puha kötésű
common.buy 5 084 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?