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 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €

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.29 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

131 b

54.29 €

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

Do 30 dana za povrat

Kupci su kupili i

Das Gotteslehen

Meki uvez

44.56 €

Coloriages mystères Best of Love Stories

Meki uvez

20.35 €

Grimms Märchen anno1820

Meki uvez

10.42 €

Toskánske tajomstvo Daniela Sacerdoti

Tvrdi uvez

18.83 €

American Favorite Ballads vol 2 Pete Seeger

Audio CD

4.65 €

CANARDO INT COULEUR T2 Sokal

Tvrdi uvez

29.47 €

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

binding.

43.25 €

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

binding.

19.24 €

Wild Side Maike Hallmann

Meki uvez

13.56 €

Handbuch Nachhaltigkeit im Vergaberecht Irene Lausen

Tvrdi uvez

133.91 €

GIEC. La voix du climat Kary DE PRYCK

Meki uvez

26.23 €

Les Enfants de Val Fleuri Christian Laborie

Meki uvez

11.74 €

Autocad 2016 Carranza Zavala

Meki uvez

34.74 €

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

List

12.05 €

Mauritius von Craun Heimo Reinitzer

Tvrdi uvez

21.67 €

Karl Jäger Wolfram Wette

Meki uvez

22.48 €

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

Meki uvez

16.20 €

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

Tvrdi uvez

68.07 €

Das Sozialkräftemodell nach Helbing Laureen Furkert

Meki uvez

42.84 €

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

binding.

6.17 €

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

Meki uvez

25.32 €

Universite de Londres Buisson-B-P

Meki uvez

13.56 €

Entwicklung der Entsorgungslogistik in Unternehmen Lena Baranan

Meki uvez

17.11 €

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

Meki uvez

19.34 €

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.