Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Formal Methods for Eternal Networked Software Systems

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

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 01658111

Nakladnici Springer, Berlin, studeni 2010

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

Libristo kod: 01658111

132 b

54.41 €

50 % šanse Pretražit ćemo cijeli svijet Kada ću dobiti knjigu?

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

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

binding.

43.49 €

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

binding.

6.16 €

Grimms Märchen anno1820

Meki uvez

10.41 €

American Favorite Ballads vol 2 Pete Seeger

Audio CD

4.95 €

GIEC. La voix du climat Kary DE PRYCK

Meki uvez

26.49 €

Das Gotteslehen

Meki uvez

44.50 €

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

Meki uvez

25.48 €

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

Meki uvez

16.18 €

Das Sozialkräftemodell nach Helbing Laureen Furkert

Meki uvez

40.66 €

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

Tvrdi uvez

68.17 €

Autocad 2016 Carranza Zavala

Meki uvez

34.79 €

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

Meki uvez

25.28 €

Universite de Londres Buisson-B-P

Meki uvez

14.56 €

Entwicklung der Entsorgungslogistik in Unternehmen Lena Baranan

Meki uvez

17.09 €

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

Meki uvez

19.31 €

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

Meki uvez

17.39 €

Ravens stad Tuula Pere

Tvrdi uvez

22.04 €

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

Audio CD

7.78 €

Karl Jäger Wolfram Wette

Meki uvez

22.45 €

Mauritius von Craun Heimo Reinitzer

Tvrdi uvez

21.64 €

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

List

12.33 €

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.