Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Formal Methods for Components and Objects

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Formal Methods for Components and Objects Frank S. de Boer
Libristo-code: 01571145
Uitgeverij 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... Volledige beschrijving
? points 125 b
51.73 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Das Baukastensystem in Der Technik K. H. Borowski / Boek Gebonden (paperback)
common.buy 77.15 €
Ohne Manni lauft nix Peggy Schroder / E-book Adobe ePub DRM
common.buy 3.23 €
Der Präparator und Konservator Robert Voegler / Boek Gebonden (paperback)
common.buy 26.82 €
Комплект "Праздник как по нотам. Изысканный стол". Ф. Шмитт / Boek Gebonden (harde band)
common.buy 53.15 €
Aramon Temps Anciens, Administration, Temps Modernes "" / Boek Gebonden (paperback)
common.buy 44.14 €
S navigací osudu Marcela Mlynářová / Boek Gebonden (harde band)
common.buy 9.71 €
Histoire Des Ducs De Bourgogne De La Maison De Valois, 1364-1477; Georges Chastellain / Boek Gebonden (paperback)
common.buy 27.84 €
KoboldKroniken 3. Klassenfahrt mit Klabauter Daniel Bleckmann / E-book Adobe ePub DRM
common.buy 11.03 €
Orígenes de las lenguas neolatinas Carlos Tagliavini / Boek Gebonden (paperback)
common.buy 35.03 €
Meine Weihnachtsgeschichten Tobi Leilason / Boek Gebonden (paperback)
common.buy 11.03 €
Listy Josefa Floriana Jaroslavu Janouchovi Ladislav Janouch / Boek Gebonden (paperback)
common.buy 9.00 €
ANTI-MARX JUAN RAMON RALLO / Boek Gebonden (paperback)
common.buy 31.08 €
La superficie de la Tierra, I Jose Lugo Hubp / E-book Adobe ePub DRM
common.buy 3.23 €
FrühStücke, 3 Audio-CDs Willy Astor / Audio Audio cd
common.buy 36.44 €
Finanzplaner TV Jörg Birkelbach / Boek Gebonden (paperback)
common.buy 42.52 €
Sgrammit: quaderno verde 1. «Il testo narrativo e il testo descrittivo» / Boek Gebonden (paperback)
common.buy 13.76 €
Gorputza eta generoa ALVAREZ URIA / Boek Boek
common.buy 12.45 €
Algorytmica Marion Herzog / Boek Gebonden (paperback)
common.buy 14.47 €
J'aime la maternelle - Mes activités effaçables - Grande section 5-6 ans / Boek Ringband
common.buy 12.55 €
Bracelet pierres baroques et éléments métalliques - Hématite / Boek binding.
common.buy 5.15 €
Storytelling im Business. Vermarkten anhand von Geschichten Julia Heese / Boek Gebonden (paperback)
common.buy 35.33 €
Veľká kniha zvukov - Zvieratá neuvedený autor / Boek Leporello (harmonicaboek)
common.buy 13.26 €
Cours De Philosophie Positive V4: La Partie Dogmatique De La Philosophie Sociale (1869) Auguste Comte / Boek Gebonden (paperback)
common.buy 41.10 €
Entdecke das Heilige in dir Anselm Grün / Boek Blad
common.buy 5.46 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Formal Methods for Components and Objects
Auteur Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2008
Aantal pagina's 313
EAN 9783540921875
ISBN 3540921877
Libristo-code 01571145
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 498
Afmetingen 155 x 235 x 19

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Algoritmes en datastructuren
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Besturingssystemen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

The Wonders of the Color Wheel Agnieszka Jatkowska / Boek Gebonden (paperback)
common.buy 7.28 €
TOP
Heaven Official's Blessing: Tian Guan CI Fu (Deluxe Hardcover Novel) Vol. 7 Zeldacw / Boek Gebonden (harde band)
common.buy 22.77 €
The Little Picnic Book Cristina Viseu / Boek Gebonden (harde band)
common.buy 20.44 €
The Ways of the Hour.: A Tale James Fenimore Cooper / Boek Gebonden (paperback)
common.buy 27.84 €
Sex, Society, and Culture: The Quest for Pleasure, Equity, and Freedom in a Complex World / Boek Gebonden (paperback)
common.buy 169.71 €
Luck David Flusfeder / Luisterboek MP3
common.buy 15.08 €
Recent Advancements in Microbial Diversity: Macrophages and Their Role in Inflammation Jae Youl Cho / Boek Gebonden (paperback)
common.buy 188.54 €
Radical Philosophy 2.04 / Spring 2019 Radical Philosophy Collective / Boek Gebonden (paperback)
common.buy 11.84 €
Histories of More Children Than one; or, Goodness Better Than Beauty DOROTHY KILNER / Boek Gebonden (harde band)
common.buy 29.76 €
Texas and Its Late Military Occupation and Evacuation Edwin D Phillips / Boek Gebonden (paperback)
common.buy 11.74 €
Behave!: How to get 100% of your workers fully engaged. Bill Burnett / Boek Gebonden (paperback)
common.buy 15.08 €
SATIRICAL HITS ON THE PEOPLE'S EDUCATION JOHN ORVILLE TAYLOR / Boek Gebonden (harde band)
common.buy 30.77 €
Flower Fables Louisa May Alcott / Boek Gebonden (harde band)
common.buy 12.85 €
TOP
The Dog of the South Charles Portis / Boek Gebonden (paperback)
common.buy 14.27 €
Embodiment Dain Heer / Boek Gebonden (paperback)
common.buy 15.79 €
Eupantophone Henri Austruy / Boek Gebonden (paperback)
common.buy 23.08 €
Manifest Manhood and the Antebellum American Empire Amy S. Greenberg / Boek Gebonden (harde band)
common.buy 109.35 €
TOP
Upanishads Eknath Easwaran / Boek Gebonden (paperback)
common.buy 11.33 €
Beyond the Colonnade Tom Vaughan / Boek Gebonden (paperback)
common.buy 21.25 €
Covenant and the Sword (RLE Israel and Palestine) Earl Berger / Boek Gebonden (harde band)
common.buy 152.69 €
Athens in Jerusalem Yaacov Shavit / Boek Gebonden (paperback)
common.buy 36.34 €
Elie Wiesel Robert McAfee Brown / Boek Gebonden (paperback)
common.buy 34.52 €
Attack Of The Deranged Mutant Killer Monster Snow Goons Bill Watterson / Boek Gebonden (paperback)
common.buy 15.79 €
A okraje máš kde? Juraj Čokyna / Boek Gebonden (paperback)
common.buy 15.28 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?