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

6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Formal Methods for Components and Objects Frank S. de Boer
Libristo kód: 01571145
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, november 2008
Formal methods have been applied successfully to the verification of medium-sized programs in protoc... Teljes leírás
? points 136 b
20 156 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

Das Baukastensystem in Der Technik K. H. Borowski / Könyv Puha kötésű
common.buy 30 075 Ft
Listy Josefa Floriana Jaroslavu Janouchovi Ladislav Janouch / Könyv Puha kötésű
common.buy 3 235 Ft
ANTI-MARX JUAN RAMON RALLO / Könyv Puha kötésű
common.buy 10 555 Ft
La superficie de la Tierra, I Jose Lugo Hubp / E-könyv Adobe ePub DRM
common.buy 1 189 Ft
Ohne Manni lauft nix Peggy Schroder / E-könyv Adobe ePub DRM
common.buy 1 189 Ft
Toplistás
Následovat člověka do Božího království Dominik Opatrný / Könyv Puha kötésű
common.buy 3 857 Ft
J'aime la maternelle - Mes activités effaçables - Grande section 5-6 ans / Könyv Spirálozott
common.buy 4 484 Ft
KoboldKroniken 3. Klassenfahrt mit Klabauter Daniel Bleckmann / E-könyv Adobe ePub DRM
common.buy 3 951 Ft
Histoire Des Ducs De Bourgogne De La Maison De Valois, 1364-1477; Georges Chastellain / Könyv Puha kötésű
common.buy 10 775 Ft
S navigací osudu Marcela Mlynářová / Könyv Kemény kötésű
common.buy 3 637 Ft
Комплект "Праздник как по нотам. Изысканный стол". Ф. Шмитт / Könyv Kemény kötésű
common.buy 18 064 Ft
Entdecke das Heilige in dir Anselm Grün / Könyv Lap
common.buy 1 854 Ft
Cours De Philosophie Positive V4: La Partie Dogmatique De La Philosophie Sociale (1869) Auguste Comte / Könyv Puha kötésű
common.buy 15 896 Ft
Der Präparator und Konservator Robert Voegler / Könyv Puha kötésű
common.buy 10 523 Ft
Aramon Temps Anciens, Administration, Temps Modernes "" / Könyv Puha kötésű
common.buy 16 935 Ft
Puzzle Krokodil ABC (Kinderpuzzle) small foot / Játék Játék
common.buy 7 794 Ft
Orígenes de las lenguas neolatinas Carlos Tagliavini / Könyv Puha kötésű
common.buy 12 559 Ft
FrühStücke, 3 Audio-CDs Willy Astor / Hanganyagok Audio CD
common.buy 14 132 Ft
Meine Weihnachtsgeschichten Tobi Leilason / Könyv Puha kötésű
common.buy 4 288 Ft
Hábl Patrik Patrik Hábl / Könyv Lap
common.buy 3 103 Ft
Gorputza eta generoa ALVAREZ URIA / Könyv Könyv
common.buy 4 452 Ft
Veľká kniha zvukov - Zvieratá neuvedený autor / Könyv Leporelló
common.buy 4 765 Ft
Storytelling im Business. Vermarkten anhand von Geschichten Julia Heese / Könyv Puha kötésű
common.buy 13 879 Ft
Bracelet pierres baroques et éléments métalliques - Hématite / Könyv binding.
common.buy 1 840 Ft

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java.§The 6th International Symposium on Formal Methods for Components and Objects, FMCO 2007, was held in Amsterdam, The Netherlands, in October 2007. This book presents 12 revised papers submitted after the symposium by the speakers of each of the following European IST projects: the IST-FP6 project Mobius, developing the technology for establishing trust and security for the next generation of global computers; the IST-FP6 project SelfMan on self management for large-scale distributed systems based on structured overlay networks and components; the IST-FP6 project GridComp and the FP6 CoreGRID Network of Excellence on grid programming with components; the Real-time component cluster of the Network of Excellence on Embedded System Design ARTIST, focussing on design processes, and architectures for real-time embedded systems; and the IST-FP6 project CREDO on modeling and analysis of evolutionary structures for distributed services.

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ő Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2008
Oldalszám 313
EAN 9783540921875
ISBN 3540921877
Libristo kód 01571145
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 498
Méretek 155 x 235 x 19

Kategória

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

Radical Philosophy 2.04 / Spring 2019 Radical Philosophy Collective / Könyv Puha kötésű
common.buy 4 587 Ft
Napoleon in Egypt 'Abd Al-Rahman Jabarti / Könyv Puha kötésű
common.buy 9 694 Ft
Toplistás
The Dog of the South Charles Portis / Könyv Puha kötésű
common.buy 5 654 Ft
Flower Fables Louisa May Alcott / Könyv Kemény kötésű
common.buy 5 060 Ft
SATIRICAL HITS ON THE PEOPLE'S EDUCATION JOHN ORVILLE TAYLOR / Könyv Kemény kötésű
common.buy 11 875 Ft
Artless Mark Bernard Steck / Könyv Puha kötésű
common.buy 5 743 Ft
Behave!: How to get 100% of your workers fully engaged. Bill Burnett / Könyv Puha kötésű
common.buy 5 832 Ft
Texas and Its Late Military Occupation and Evacuation Edwin D Phillips / Könyv Puha kötésű
common.buy 4 601 Ft
Histories of More Children Than one; or, Goodness Better Than Beauty DOROTHY KILNER / Könyv Kemény kötésű
common.buy 11 520 Ft
Recent Advancements in Microbial Diversity: Macrophages and Their Role in Inflammation Jae Youl Cho / Könyv Puha kötésű
common.buy 65 340 Ft
Luck David Flusfeder / Hangoskönyv MP3
common.buy 5 505 Ft
Sex, Society, and Culture: The Quest for Pleasure, Equity, and Freedom in a Complex World / Könyv Puha kötésű
common.buy 65 013 Ft
The Ways of the Hour.: A Tale James Fenimore Cooper / Könyv Puha kötésű
common.buy 10 775 Ft
The Little Picnic Book Cristina Viseu / Könyv Kemény kötésű
common.buy 7 335 Ft
Toplistás
Heaven Official's Blessing: Tian Guan CI Fu (Deluxe Hardcover Novel) Vol. 7 Zeldacw / Könyv Kemény kötésű
common.buy 8 566 Ft
The Wonders of the Color Wheel Agnieszka Jatkowska / Könyv Puha kötésű
common.buy 2 523 Ft
Toplistás
Embodiment Dain Heer / Könyv Puha kötésű
common.buy 6 249 Ft
Eupantophone Henri Austruy / Könyv Puha kötésű
common.buy 8 950 Ft
Beyond the Colonnade Tom Vaughan / Könyv Puha kötésű
common.buy 8 210 Ft
Two way-constructions in Dutch Marie-Elaine van Egmond / Könyv Puha kötésű
common.buy 24 757 Ft
Athens in Jerusalem Yaacov Shavit / Könyv Puha kötésű
common.buy 13 031 Ft
I Wanna Be... A Woman of God! Beth Redman / Könyv Puha kötésű
common.buy 6 296 Ft
Covenant and the Sword (RLE Israel and Palestine) Earl Berger / Könyv Kemény kötésű
common.buy 54 771 Ft
Elie Wiesel Robert McAfee Brown / Könyv Puha kötésű
common.buy 9 338 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?