Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Formal Methods for Eternal Networked Software Systems

Name: Formal Methods for Eternal Networked Software Systems
Brand: Springer, Berlin
SKU: 01658111
Price: 56.81 EUR
Availability: InStock
Author: Marco Bernardo
ISBN: 9783642214547

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

Marco Bernardo

Valerie Issarny

Language

English

Book Paperback

Libristo code: 01658111

Publishers Springer, Berlin, November 2010

This book presents 15 tutorial lectures by leading researchers given at the 11th edition of the Inte... Full description

Libristo code: 01658111

138 b

56.81 €

50 % chance We search the world When will I receive my book?

Up to 30 days for returns

Customers also purchased

Das Gotteslehen

Paperback

44.32 €

Coloriages mystères Best of Love Stories

Paperback

20.54 €

Grimms Märchen anno1820

Paperback

10.37 €

Toskánske tajomstvo Daniela Sacerdoti

Hardback

19.84 €

American Favorite Ballads vol 2 Pete Seeger

Audio CD

4.22 €

CANARDO INT COULEUR T2 Sokal

Hardback

29.91 €

VOYAGE MAGIQUE NIVEAU 2B EXPLORATEUR/CAHIER PIANO (AVEC CD) PIANO BLET Book

binding.

44.32 €

PASTORAL / SONG EUGENIA --- 2 GUITARES TESAR MILAN Book

binding.

19.43 €

Wild Side Maike Hallmann

Paperback

13.49 €

Handbuch Nachhaltigkeit im Vergaberecht Irene Lausen

Hardback

133.17 €

GIEC. La voix du climat Kary DE PRYCK

Paperback

26.69 €

Les Enfants de Val Fleuri Christian Laborie

Paperback

11.58 €

Autocad 2016 Carranza Zavala

Paperback

36.26 €

Mathe:Pro - Ausgabe 2011. H.1 Sabine Kaufmann

Sheet

12.58 €

Mauritius von Craun Heimo Reinitzer

Hardback

21.55 €

Karl Jäger Wolfram Wette

Paperback

22.35 €

Thomas Samuel Kuhn - Was sind wissenschaftliche Revolutionen? Eine Analyse von Kuhns Verständnis von Revolutionen Nicole Kutzner

Paperback

16.11 €

Ökonomie und Ethik I: Die Kapitalismusdebatte in der Philosophie der Neuzeit Elmar Waibl

Hardback

71.21 €

Das Sozialkräftemodell nach Helbing Laureen Furkert

Paperback

45.02 €

Kores Jumbo trojhranné pastelky 5 mm s ořezávátkem 12 barev

binding.

6.34 €

Los procesos matrimoniales : nulidad, separación y divorcio María Sonia Calaza López

Paperback

26.48 €

Universite de Londres Buisson-B-P

Paperback

14.30 €

Entwicklung der Entsorgungslogistik in Unternehmen Lena Baranan

Paperback

17.02 €

Bog Se Nikad Ne Smeje: Zapis O Ateistickom Autovanju Aleksandar Lambros

Paperback

19.23 €

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.