Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Formal Methods for Eternal Networked Software Systems

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

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01658111

Nakladateľstvo Springer, Berlin, november 2010

This book presents 15 tutorial lectures by leading researchers given at the 11th edition of the Inte... Celý popis

Libristo kód: 01658111

139 b

57.24 €

50 % šanca Prehľadáme celý svet Kedy knihu dostanem?

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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

binding.

45.51 €

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

binding.

5.35 €

Grimms Märchen anno1820

Brožovaná

10.41 €

American Favorite Ballads vol 2 Pete Seeger

Audio CD

5.15 €

GIEC. La voix du climat Kary DE PRYCK

Brožovaná

27.81 €

Das Gotteslehen

Brožovaná

44.50 €

Итальянский язык. Полный курс. 3-е издание Л.А. Петрова

Brožovaná

27.00 €

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

Brožovaná

16.18 €

Das Sozialkräftemodell nach Helbing Laureen Furkert

Brožovaná

42.98 €

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

Pevná

71.81 €

Autocad 2016 Carranza Zavala

Brožovaná

36.41 €

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

Brožovaná

26.70 €

Universite de Londres Buisson-B-P

Brožovaná

13.85 €

Entwicklung der Entsorgungslogistik in Unternehmen Lena Baranan

Brožovaná

17.09 €

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

Brožovaná

18.30 €

de Verdun A l'Yser, Notes d'Un Aumonier Militaire ARDANT-G

Brožovaná

16.58 €

Ravens stad Tuula Pere

Pevná

20.63 €

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

Audio CD

7.78 €

Karl Jäger Wolfram Wette

Brožovaná

22.45 €

Mauritius von Craun Heimo Reinitzer

Pevná

20.32 €

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

List

12.84 €

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.