Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Formal Methods for Eternal Networked Software Systems

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

20 911 Ft

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

Up to 30 days for returns

Customers also purchased

Das Gotteslehen

Paperback

17 800 Ft

Coloriages mystères Best of Love Stories

Paperback

7 780 Ft

Grimms Märchen anno1820

Paperback

4 183 Ft

Toskánske tajomstvo Daniela Sacerdoti

Hardback

7 299 Ft

American Favorite Ballads vol 2 Pete Seeger

Audio CD

1 782 Ft

CANARDO INT COULEUR T2 Sokal

Hardback

11 239 Ft

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

binding.

16 513 Ft

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

binding.

7 342 Ft

Wild Side Maike Hallmann

Paperback

5 469 Ft

Handbuch Nachhaltigkeit im Vergaberecht Irene Lausen

Hardback

53 122 Ft

GIEC. La voix du climat Kary DE PRYCK

Paperback

10 034 Ft

Les Enfants de Val Fleuri Christian Laborie

Paperback

4 488 Ft

Autocad 2016 Carranza Zavala

Paperback

13 340 Ft

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

Sheet

4 683 Ft

Mauritius von Craun Heimo Reinitzer

Hardback

8 704 Ft

Karl Jäger Wolfram Wette

Paperback

8 990 Ft

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

Paperback

6 465 Ft

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

Hardback

26 213 Ft

Das Sozialkräftemodell nach Helbing Laureen Furkert

Paperback

16 561 Ft

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

binding.

2 344 Ft

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

Paperback

9 762 Ft

Universite de Londres Buisson-B-P

Paperback

5 260 Ft

Entwicklung der Entsorgungslogistik in Unternehmen Lena Baranan

Paperback

6 827 Ft

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

Paperback

7 647 Ft

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.