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.76 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Das Baukastensystem in Der Technik K. H. Borowski / Boek Gebonden (paperback)
common.buy 77.18 €
Wordt verwacht
Listy Josefa Floriana Jaroslavu Janouchovi Ladislav Janouch / Boek Gebonden (paperback)
common.buy 9.01 €
ANTI-MARX JUAN RAMON RALLO / Boek Gebonden (paperback)
common.buy 29.47 €
La superficie de la Tierra, I Jose Lugo Hubp / E-book Adobe ePub DRM
common.buy 3.23 €
Ohne Manni lauft nix Peggy Schroder / E-book Adobe ePub DRM
common.buy 3.23 €
TOP Wordt verwacht
Následovat člověka do Božího království Dominik Opatrný / Boek Gebonden (paperback)
common.buy 10.73 €
J'aime la maternelle - Mes activités effaçables - Grande section 5-6 ans / Boek Ringband
common.buy 12.35 €
KoboldKroniken 3. Klassenfahrt mit Klabauter Daniel Bleckmann / E-book Adobe ePub DRM
common.buy 10.93 €
Histoire Des Ducs De Bourgogne De La Maison De Valois, 1364-1477; Georges Chastellain / Boek Gebonden (paperback)
common.buy 27.85 €
S navigací osudu Marcela Mlynářová / Boek Gebonden (harde band)
common.buy 9.72 €
Комплект "Праздник как по нотам. Изысканный стол". Ф. Шмитт / Boek Gebonden (harde band)
common.buy 53.17 €
Entdecke das Heilige in dir Anselm Grün / Boek Blad
common.buy 5.36 €
Cours De Philosophie Positive V4: La Partie Dogmatique De La Philosophie Sociale (1869) Auguste Comte / Boek Gebonden (paperback)
common.buy 41.12 €
Der Präparator und Konservator Robert Voegler / Boek Gebonden (paperback)
common.buy 26.84 €
Aramon Temps Anciens, Administration, Temps Modernes "" / Boek Gebonden (paperback)
common.buy 44.16 €
Puzzle Krokodil ABC (Kinderpuzzle) small foot / Spel/speelgoed Spel
common.buy 22.78 €
Orígenes de las lenguas neolatinas Carlos Tagliavini / Boek Gebonden (paperback)
common.buy 31.60 €
FrühStücke, 3 Audio-CDs Willy Astor / Audio Audio cd
common.buy 36.46 €
Meine Weihnachtsgeschichten Tobi Leilason / Boek Gebonden (paperback)
common.buy 11.03 €
Wordt verwacht
Hábl Patrik Patrik Hábl / Boek Blad
common.buy 8.60 €
Gorputza eta generoa ALVAREZ URIA / Boek Boek
common.buy 11.13 €
Veľká kniha zvukov - Zvieratá neuvedený autor / Boek Leporello (harmonicaboek)
common.buy 13.26 €
Storytelling im Business. Vermarkten anhand von Geschichten Julia Heese / Boek Gebonden (paperback)
common.buy 35.34 €
Bracelet pierres baroques et éléments métalliques - Hématite / Boek binding.
common.buy 4.95 €

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

Radical Philosophy 2.04 / Spring 2019 Radical Philosophy Collective / Boek Gebonden (paperback)
common.buy 11.84 €
Napoleon in Egypt 'Abd Al-Rahman Jabarti / Boek Gebonden (paperback)
common.buy 25.11 €
TOP
The Dog of the South Charles Portis / Boek Gebonden (paperback)
common.buy 14.27 €
Flower Fables Louisa May Alcott / Boek Gebonden (harde band)
common.buy 12.86 €
SATIRICAL HITS ON THE PEOPLE'S EDUCATION JOHN ORVILLE TAYLOR / Boek Gebonden (harde band)
common.buy 30.79 €
Artless Mark Bernard Steck / Boek Gebonden (paperback)
common.buy 14.78 €
Behave!: How to get 100% of your workers fully engaged. Bill Burnett / Boek Gebonden (paperback)
common.buy 15.08 €
Texas and Its Late Military Occupation and Evacuation Edwin D Phillips / Boek Gebonden (paperback)
common.buy 11.74 €
Histories of More Children Than one; or, Goodness Better Than Beauty DOROTHY KILNER / Boek Gebonden (harde band)
common.buy 29.77 €
Recent Advancements in Microbial Diversity: Macrophages and Their Role in Inflammation Jae Youl Cho / Boek Gebonden (paperback)
common.buy 181.53 €
Luck David Flusfeder / Luisterboek MP3
common.buy 15.29 €
Sex, Society, and Culture: The Quest for Pleasure, Equity, and Freedom in a Complex World / Boek Gebonden (paperback)
common.buy 169.78 €
The Ways of the Hour.: A Tale James Fenimore Cooper / Boek Gebonden (paperback)
common.buy 27.85 €
The Little Picnic Book Cristina Viseu / Boek Gebonden (harde band)
common.buy 20.45 €
TOP
Heaven Official's Blessing: Tian Guan CI Fu (Deluxe Hardcover Novel) Vol. 7 Zeldacw / Boek Gebonden (harde band)
common.buy 21.47 €
The Wonders of the Color Wheel Agnieszka Jatkowska / Boek Gebonden (paperback)
common.buy 7.18 €
TOP
Embodiment Dain Heer / Boek Gebonden (paperback)
common.buy 15.79 €
Eupantophone Henri Austruy / Boek Gebonden (paperback)
common.buy 23.09 €
Beyond the Colonnade Tom Vaughan / Boek Gebonden (paperback)
common.buy 20.76 €
Two way-constructions in Dutch Marie-Elaine van Egmond / Boek Gebonden (paperback)
common.buy 72.52 €
Athens in Jerusalem Yaacov Shavit / Boek Gebonden (paperback)
common.buy 36.36 €
I Wanna Be... A Woman of God! Beth Redman / Boek Gebonden (paperback)
common.buy 16.91 €
Covenant and the Sword (RLE Israel and Palestine) Earl Berger / Boek Gebonden (harde band)
common.buy 152.65 €
Elie Wiesel Robert McAfee Brown / Boek Gebonden (paperback)
common.buy 26.02 €

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?