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 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,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.72 €
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.14 €
Ohne Manni lauft nix Peggy Schroder / E-book Adobe ePub DRM
common.buy 3.23 €
Entdecke das Heilige in dir Anselm Grün / Boek Blad
common.buy 5.15 €
Комплект "Праздник как по нотам. Изысканный стол". Ф. Шмитт / Boek Gebonden (harde band)
common.buy 50.31 €
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.83 €
KoboldKroniken 3. Klassenfahrt mit Klabauter Daniel Bleckmann / E-book Adobe ePub DRM
common.buy 11.03 €
Finanzplaner TV Jörg Birkelbach / Boek Gebonden (paperback)
common.buy 42.51 €
FrühStücke, 3 Audio-CDs Willy Astor / Audio Audio cd
common.buy 36.44 €
Der Präparator und Konservator Robert Voegler / Boek Gebonden (paperback)
common.buy 26.82 €
Listy Josefa Floriana Jaroslavu Janouchovi Ladislav Janouch / Boek Gebonden (paperback)
common.buy 9.00 €
ANTI-MARX JUAN RAMON RALLO / Boek Gebonden (paperback)
common.buy 29.45 €
La superficie de la Tierra, I Jose Lugo Hubp / E-book Adobe ePub DRM
common.buy 3.23 €
Aramon Temps Anciens, Administration, Temps Modernes "" / Boek Gebonden (paperback)
common.buy 44.13 €
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.44 €
Algorytmica Marion Herzog / Boek Gebonden (paperback)
common.buy 14.47 €
Orígenes de las lenguas neolatinas Carlos Tagliavini / Boek Gebonden (paperback)
common.buy 35.02 €
J'aime la maternelle - Mes activités effaçables - Grande section 5-6 ans / Boek Ringband
common.buy 12.54 €
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.32 €
Veľká kniha zvukov - Zvieratá neuvedený autor / Boek Leporello (harmonicaboek)
common.buy 13.25 €
Cours De Philosophie Positive V4: La Partie Dogmatique De La Philosophie Sociale (1869) Auguste Comte / Boek Gebonden (paperback)
common.buy 41.09 €
Meine Weihnachtsgeschichten Tobi Leilason / Boek Gebonden (paperback)
common.buy 11.03 €

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

Eupantophone Henri Austruy / Boek Gebonden (paperback)
common.buy 23.07 €
Radical Philosophy 2.04 / Spring 2019 Radical Philosophy Collective / Boek Gebonden (paperback)
common.buy 11.83 €
Histories of More Children Than one; or, Goodness Better Than Beauty DOROTHY KILNER / Boek Gebonden (harde band)
common.buy 29.75 €
Texas and Its Late Military Occupation and Evacuation Edwin D Phillips / Boek Gebonden (paperback)
common.buy 11.73 €
Behave!: How to get 100% of your workers fully engaged. Bill Burnett / Boek Gebonden (paperback)
common.buy 15.07 €
Recent Advancements in Microbial Diversity: Macrophages and Their Role in Inflammation Jae Youl Cho / Boek Gebonden (paperback)
common.buy 188.50 €
Luck David Flusfeder / Luisterboek MP3
common.buy 15.18 €
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.26 €
Sex, Society, and Culture: The Quest for Pleasure, Equity, and Freedom in a Complex World / Boek Gebonden (paperback)
common.buy 169.67 €
Embodiment Dain Heer / Boek Gebonden (paperback)
common.buy 15.78 €
Beyond the Colonnade Tom Vaughan / Boek Gebonden (paperback)
common.buy 21.25 €
Athens in Jerusalem Yaacov Shavit / Boek Gebonden (paperback)
common.buy 36.34 €
Elie Wiesel Robert McAfee Brown / Boek Gebonden (paperback)
common.buy 39.88 €
The Ways of the Hour.: A Tale James Fenimore Cooper / Boek Gebonden (paperback)
common.buy 27.83 €
Attack Of The Deranged Mutant Killer Monster Snow Goons Bill Watterson / Boek Gebonden (paperback)
common.buy 15.78 €
I Wanna Be... A Woman of God! Beth Redman / Boek Gebonden (paperback)
common.buy 18.72 €
The Little Picnic Book Cristina Viseu / Boek Gebonden (harde band)
common.buy 18.42 €
Covenant and the Sword (RLE Israel and Palestine) Earl Berger / Boek Gebonden (harde band)
common.buy 145.98 €
TOP
Heaven Official's Blessing: Tian Guan CI Fu (Deluxe Hardcover Novel) Vol. 7 Zeldacw / Boek Gebonden (harde band)
common.buy 21.25 €
TOP
Upanishads Eknath Easwaran / Boek Gebonden (paperback)
common.buy 11.33 €
Manifest Manhood and the Antebellum American Empire Amy S. Greenberg / Boek Gebonden (harde band)
common.buy 109.33 €
The Wonders of the Color Wheel Agnieszka Jatkowska / Boek Gebonden (paperback)
common.buy 8.39 €

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?