Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Formal Methods for Components and Objects

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

Limba englezăengleză
Carte Carte broșată
Carte Formal Methods for Components and Objects Frank S. de Boer
Codul Libristo: 01571145
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, noiembrie 2008
Formal methods have been applied successfully to the verification of medium-sized programs in protoc... Descrierea completă
? points 132 b
284.91 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Das Baukastensystem in Der Technik K. H. Borowski / Carte Carte broșată
common.buy 425.03 lei
Ohne Manni lauft nix Peggy Schroder / E-book Adobe ePub DRM
common.buy 17.13 lei
Der Präparator und Konservator Robert Voegler / Carte Carte broșată
common.buy 148.42 lei
Комплект "Праздник как по нотам. Изысканный стол". Ф. Шмитт / Carte Copertă tare
common.buy 263.20 lei
Aramon Temps Anciens, Administration, Temps Modernes "" / Carte Carte broșată
common.buy 240.77 lei
S navigací osudu Marcela Mlynářová / Carte Copertă tare
common.buy 54.32 lei
Histoire Des Ducs De Bourgogne De La Maison De Valois, 1364-1477; Georges Chastellain / Carte Carte broșată
common.buy 152.68 lei
KoboldKroniken 3. Klassenfahrt mit Klabauter Daniel Bleckmann / E-book Adobe ePub DRM
common.buy 57.53 lei
Orígenes de las lenguas neolatinas Carlos Tagliavini / Carte Carte broșată
common.buy 183.22 lei
Meine Weihnachtsgeschichten Tobi Leilason / Carte Carte broșată
common.buy 60.75 lei
Listy Josefa Floriana Jaroslavu Janouchovi Ladislav Janouch / Carte Carte broșată
common.buy 47.15 lei
ANTI-MARX JUAN RAMON RALLO / Carte Carte broșată
common.buy 162.44 lei
La superficie de la Tierra, I Jose Lugo Hubp / E-book Adobe ePub DRM
common.buy 17.13 lei
FrühStücke, 3 Audio-CDs Willy Astor / Audio Audio CD
common.buy 200.26 lei
Finanzplaner TV Jörg Birkelbach / Carte Carte broșată
common.buy 234.95 lei
Sgrammit: quaderno verde 1. «Il testo narrativo e il testo descrittivo» / Carte Carte broșată
common.buy 72.28 lei
Gorputza eta generoa ALVAREZ URIA / Carte Carte
common.buy 65.33 lei
Algorytmica Marion Herzog / Carte Carte broșată
common.buy 80.08 lei
J'aime la maternelle - Mes activités effaçables - Grande section 5-6 ans / Carte Cu spiră
common.buy 65.74 lei
Bracelet pierres baroques et éléments métalliques - Hématite / Carte binding.
common.buy 27.00 lei
Storytelling im Business. Vermarkten anhand von Geschichten Julia Heese / Carte Carte broșată
common.buy 195.79 lei
Veľká kniha zvukov - Zvieratá neuvedený autor / Carte Cărți pliante
common.buy 69.38 lei
Cours De Philosophie Positive V4: La Partie Dogmatique De La Philosophie Sociale (1869) Auguste Comte / Carte Carte broșată
common.buy 225.39 lei
Entdecke das Heilige in dir Anselm Grün / Carte Foaie
common.buy 27.00 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Formal Methods for Components and Objects
Autor Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
Limba engleză
Legare Carte - Carte broșată
Data publicării 2008
Număr pagini 313
EAN 9783540921875
ISBN 3540921877
Codul Libristo 01571145
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 498
Dimensiuni 155 x 235 x 19

Categorii

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

The Wonders of the Color Wheel Agnieszka Jatkowska / Carte Carte broșată
common.buy 35.51 lei
Top
Heaven Official's Blessing: Tian Guan CI Fu (Deluxe Hardcover Novel) Vol. 7 Zeldacw / Carte Copertă tare
common.buy 118.09 lei
The Little Picnic Book Cristina Viseu / Carte Copertă tare
common.buy 106.87 lei
The Ways of the Hour.: A Tale James Fenimore Cooper / Carte Carte broșată
common.buy 152.68 lei
Sex, Society, and Culture: The Quest for Pleasure, Equity, and Freedom in a Complex World / Carte Carte broșată
common.buy 924.76 lei
Luck David Flusfeder / Audiobook MP3
common.buy 78.93 lei
Recent Advancements in Microbial Diversity: Macrophages and Their Role in Inflammation Jae Youl Cho / Carte Carte broșată
common.buy 985.94 lei
Radical Philosophy 2.04 / Spring 2019 Radical Philosophy Collective / Carte Carte broșată
common.buy 64.91 lei
Histories of More Children Than one; or, Goodness Better Than Beauty DOROTHY KILNER / Carte Copertă tare
common.buy 163.28 lei
Texas and Its Late Military Occupation and Evacuation Edwin D Phillips / Carte Carte broșată
common.buy 64.91 lei
Behave!: How to get 100% of your workers fully engaged. Bill Burnett / Carte Carte broșată
common.buy 82.67 lei
SATIRICAL HITS ON THE PEOPLE'S EDUCATION JOHN ORVILLE TAYLOR / Carte Copertă tare
common.buy 168.47 lei
Flower Fables Louisa May Alcott / Carte Copertă tare
common.buy 71.35 lei
Top
The Dog of the South Charles Portis / Carte Carte broșată
common.buy 79.56 lei
Embodiment Dain Heer / Carte Carte broșată
common.buy 87.76 lei
Eupantophone Henri Austruy / Carte Carte broșată
common.buy 126.71 lei
Manifest Manhood and the Antebellum American Empire Amy S. Greenberg / Carte Copertă tare
common.buy 544.69 lei
Top
Upanishads Eknath Easwaran / Carte Carte broșată
common.buy 63.14 lei
Beyond the Colonnade Tom Vaughan / Carte Carte broșată
common.buy 116.53 lei
Covenant and the Sword (RLE Israel and Palestine) Earl Berger / Carte Copertă tare
common.buy 798.14 lei
Athens in Jerusalem Yaacov Shavit / Carte Carte broșată
common.buy 180.83 lei
Elie Wiesel Robert McAfee Brown / Carte Carte broșată
common.buy 187.79 lei
Attack Of The Deranged Mutant Killer Monster Snow Goons Bill Watterson / Carte Carte broșată
common.buy 82.67 lei
A okraje máš kde? Juraj Čokyna / Carte Carte broșată
common.buy 80.08 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?