Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Formal Methods for Eternal Networked Software Systems

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

Език

Английски език

Книга С меки корици

Код Либристо: 01658111

Издателство Springer, Berlin, ноември 2010

This book presents 15 tutorial lectures by leading researchers given at the 11th edition of the Inte... Цялото описание

Код Либристо: 01658111

145 b

60.10 €

117.54 лв

50% вероятност Ще претърсим света Кога ще получа книгата?

30 дни за връщане на стоката

Клиентите са закупили също

VOYAGE MAGIQUE NIVEAU 2B EXPLORATEUR/CAHIER PIANO (AVEC CD) PIANO BLET Книга

binding.

47.42 € 92.75 лв

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

binding.

6.56 € 12.84 лв

Grimms Märchen anno1820

С меки корици

11.06 € 21.64 лв

American Favorite Ballads vol 2 Pete Seeger

Аудио компактдиск

5.43 € 10.61 лв

GIEC. La voix du climat Kary DE PRYCK

С меки корици

28.96 € 56.64 лв

Das Gotteslehen

С меки корици

47.11 € 92.15 лв

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

С меки корици

28.49 € 55.73 лв

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

С меки корици

17.11 € 33.47 лв

Das Sozialkräftemodell nach Helbing Laureen Furkert

С меки корици

45.35 € 88.71 лв

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

С твърди корици

75.40 € 147.48 лв

Autocad 2016 Carranza Zavala

С меки корици

38.11 € 74.54 лв

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

С меки корици

27.92 € 54.62 лв

Universite de Londres Buisson-B-P

С меки корици

14.58 € 28.52 лв

Entwicklung der Entsorgungslogistik in Unternehmen Lena Baranan

С меки корици

18.10 € 35.39 лв

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

С меки корици

19.29 € 37.72 лв

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

С меки корици

17.43 € 34.08 лв

Ravens stad Tuula Pere

С твърди корици

22.08 € 43.18 лв

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

Аудио компактдиск

8.27 € 16.18 лв

Karl Jäger Wolfram Wette

С меки корици

23.74 € 46.42 лв

Mauritius von Craun Heimo Reinitzer

С твърди корици

21.67 € 42.38 лв

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

Лист

13.49 € 26.39 лв

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.