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 Eternal Networked Software Systems

11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures

Taal EngelsEngels
Boek Paperback
Boek Formal Methods for Eternal Networked Software Systems Marco Bernardo
Libristo-code: 01658111
Uitgeverij Springer, Berlin, november 2010
This book presents 15 tutorial lectures by leading researchers given at the 11th edition of the Inte... Volledige beschrijving
? points 145 b
59.53 €
50% kans We doorzoeken de hele wereld Wanneer krijg ik het boek?

Tot 30 dagen retourrecht

Klanten kochten ook

Les Enfants de Val Fleuri Christian Laborie / Boek Paperback
common.buy 11.35 €
TOP
Coloriages mystères Best of Love Stories / Boek Paperback
common.buy 20.31 €
Grimms Märchen anno1820 / Boek Paperback
common.buy 10.35 €
American Favorite Ballads vol 2 Pete Seeger / Audio Audio cd
common.buy 4.31 €
CANARDO INT COULEUR T2 Sokal / Boek Gebonden
common.buy 29.76 €
VOYAGE MAGIQUE NIVEAU 2B EXPLORATEUR/CAHIER PIANO (AVEC CD) PIANO BLET Boek binding.
common.buy 44.85 €
PASTORAL / SONG EUGENIA --- 2 GUITARES TESAR MILAN Boek binding.
common.buy 19.20 €
GIEC. La voix du climat Kary DE PRYCK / Boek Paperback
common.buy 26.44 €
Handbuch Nachhaltigkeit im Vergaberecht Irene Lausen / Boek Gebonden
common.buy 132.95 €
Das Gotteslehen / Boek Paperback
common.buy 44.26 €
Toskánske tajomstvo Daniela Sacerdoti / Boek Gebonden
common.buy 19.80 €
Wild Side Maike Hallmann / Boek Paperback
common.buy 13.47 €
de Verdun A l'Yser, Notes d'Un Aumonier Militaire ARDANT-G / Boek Paperback
common.buy 17.79 €
Autocad 2016 Carranza Zavala / Boek Paperback
common.buy 36.10 €
Los procesos matrimoniales : nulidad, separación y divorcio María Sonia Calaza López / Boek Paperback
common.buy 26.34 €
Universite de Londres Buisson-B-P / Boek Paperback
common.buy 14.47 €
Entwicklung der Entsorgungslogistik in Unternehmen Lena Baranan / Boek Paperback
common.buy 16.99 €
Bog Se Nikad Ne Smeje: Zapis O Ateistickom Autovanju Aleksandar Lambros / Boek Paperback
common.buy 19.70 €
Das Sozialkräftemodell nach Helbing Laureen Furkert / Boek Paperback
common.buy 47.26 €
Ökonomie und Ethik I: Die Kapitalismusdebatte in der Philosophie der Neuzeit Elmar Waibl / Boek Gebonden
common.buy 74.72 €
Ravens stad Tuula Pere / Boek Gebonden
common.buy 22.52 €
Wordt verwacht
Girl on the Train - Du kennst sie nicht, aber sie kennt dich. Paula Hawkins / Audio Audio cd
common.buy 7.74 €
Thomas Samuel Kuhn - Was sind wissenschaftliche Revolutionen? Eine Analyse von Kuhns Verständnis von Revolutionen Nicole Kutzner / Boek Paperback
common.buy 16.08 €
Karl Jäger Wolfram Wette / Boek Paperback
common.buy 22.32 €

This book presents 15 tutorial lectures by leading researchers given at the 11th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, held in Bertinoro, Italy, in June 2011. SFM 2011 was devoted to formal methods for eternal networked software systems and covered several topics including formal foundations for the inter-operability of software systems, application-layer and middleware-layer dynamic connector synthesis, interaction behavior monitoring and learning, and quality assurance of connected systems. The school was held in collaboration with the researchers of the EU-funded projects CONNECT and ETERNALS. The papers are organized into six parts: (i) architecture and interoperability, (ii) formal foundations for connectors, (iii) connector synthesis, (iv) learning and monitoring, (v) dependability assurance, and (vi) trustworthy eternal systems via evolving software.

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 Eternal Networked Software Systems
Auteur Marco Bernardo, Valerie Issarny
Taal Engels
Bindwijze Boek - Paperback
Datum van uitgifte 2011
Aantal pagina's 527
EAN 9783642214547
ISBN 3642214541
Libristo-code 01658111
Uitgeverij Springer, Berlin
Gewicht 811
Afmetingen 155 x 235 x 29

Categorieën

Informatica en informatietechnologie > Digitale levensstijl en online wereld: gebruikersgidsen > Internetgidsen en online diensten > Internetzoeken
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 > Databanken > Informatieopslag en -naslag
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
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 Lesbian Family Life Cycle Suzanne Slater / Boek Paperback
common.buy 15.88 €
Electronic States in Crystals of Finite Size Shang Yuan Ren / Boek Paperback
common.buy 92.12 €
Is Spiritualism Based on Fraud ? JOSEPH MCCABE / Boek Gebonden
common.buy 35.31 €
Sloth Bear! an Animal Encyclopedia for Kids (Bear Kingdom) - Children's Biological Science of Bears Books Prodigy Wizard / Boek Paperback
common.buy 10.35 €
Cornish Studies: One Dr Garry Tregidga / Boek Paperback
common.buy 15.58 €
Qur'an Jason Criss Howk / Boek Paperback
common.buy 28.35 €
American Bastile John A. Marshall / Boek Paperback
common.buy 39.82 €
Harold Laski: Problems of Democracy, the Sovereign State, and International Society P LAMB / Boek Paperback
common.buy 52.99 €
I Say a Little Prayer E. Lynn Harris / Boek Paperback
common.buy 19.10 €
Theatre & War Dinesh Nandita Dinesh / Boek Paperback
common.buy 53.60 €
In the Meantime Iyanla Vanzant / Boek Paperback
common.buy 15.38 €
Rudolf Schwarz and the Monumental Order of Things Adam Caruso / Boek Gebonden
common.buy 75.22 €
New Confucianism in Twenty-First Century China Jesus Sole-Farras / Boek Paperback
common.buy 74.52 €
Re-engaging Disconnected Youth Amy Vatne Bintliff / Boek Paperback
common.buy 41.23 €
Best Easy Day Hikes Northern Sierra Ron Adkison / Boek Paperback
common.buy 12.16 €
Overcoming My Self-Esteem and Self-Concept Who Am I? Krystal Bowden / Boek Gebonden
common.buy 28.05 €
Crs Report for Congress Paul K Kerr / Boek Paperback
common.buy 15.68 €
Oxford Bookworms Library Factfiles: Level 3:: Future Energy Alex Raynham / Boek Paperback
common.buy 14.37 €
Monty Python The Complete Guide Steve Pilkington / Boek Paperback
common.buy 19.91 €
Deceiver's Secret! J. A. Jackson / Boek Paperback
common.buy 10.85 €
Cellulite Mitchel P. Goldman / Boek Paperback
common.buy 100.67 €
Silver and Light: The Lionheart Province Jackie Castle / Boek Paperback
common.buy 15.08 €
Rainbowku: Fun and Colorful Sudoku for Kids Rockridge Press / Boek Paperback
common.buy 7.13 €
The Mink Wrap In The Attic / Boek Paperback
common.buy 8.74 €

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?