Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

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

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

Formal Methods for Eternal Networked Software Systems

Name: Formal Methods for Eternal Networked Software Systems
Brand: Springer, Berlin
SKU: 01658111
Price: 59.39 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

145 b

59.39 € VAT included

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

Delivery to Austria

30-day return policy

Customers also purchased

Das Gotteslehen

Paperback

49.90 €

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

binding.

46.89 €

American Favorite Ballads vol 2 Pete Seeger

Audio CD

5.39 €

Grimms Märchen anno1820

Paperback

11.50 €

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

binding.

6.09 €

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

Sheet

13.39 €

Mauritius von Craun Heimo Reinitzer

Hardback

22.79 €

Karl Jäger Wolfram Wette

Paperback

25.00 €

Girl on the Train - Du kennst sie nicht, aber sie kennt dich. Paula Hawkins

Audio CD

8.99 €

Ravens stad Tuula Pere

Hardback

23.19 €

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

Paperback

17.95 €

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

Paperback

20.09 €

Entwicklung der Entsorgungslogistik in Unternehmen Lena Baranan

Paperback

18.95 €

Universite de Londres Buisson-B-P

Paperback

15.09 €

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

Paperback

27.59 €

Autocad 2016 Carranza Zavala

Paperback

37.69 €

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

Hardback

74.49 €

Das Sozialkräftemodell nach Helbing Laureen Furkert

Paperback

44.90 €

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.