Von dem Buch Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers (Lecture Notes in Computer Science) haben wir 2 gleiche oder sehr ähnliche Ausgaben identifiziert!

Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:

Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers (Lecture Notes in Computer Science)100%: Herausgeber: Ivan Lanese, Herausgeber: Eric Madelaine: Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers (Lecture Notes in Computer Science) (ISBN: 9783319153179) 2015. Ausgabe, in Englisch, auch als eBook.
Nur diese Ausgabe anzeigen…
65%: Springer, Berlin; Springer International Publishing: Formal Aspects of Component Software: 11th Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers . / Programming and Software Engineering) (ISBN: 9783319153162) 2015, in Deutsch, Taschenbuch.
Nur diese Ausgabe anzeigen…

Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers (Lecture Notes in Computer Science)
13 Angebote vergleichen

Preise201720182019
Schnitt 49,60 33,66 49,42
Nachfrage
Bester Preis: 36,57 (vom 29.09.2019)
1
9783319153179 - Ivan Lanese: Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
Ivan Lanese

Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers (2014)

Lieferung erfolgt aus/von: Deutschland ~EN NW EB DL

ISBN: 9783319153179 bzw. 331915317X, vermutlich in Englisch, Springer International Publishing, neu, E-Book, elektronischer Download.

Lieferung aus: Deutschland, Versandkostenfrei.
Formal Aspects of Component Software: This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014.The 20 full papers presented in this volume were carefully reviewed and selected from 44 submissions. They are organized in topical sections named: compositional approaches adaptation and evolution application and experience tools scheduling, time and hybrid systems other verification approaches and safety and liveness of composition. The volume also contains two invited talks, one full paper and one abstract. Englisch, Ebook.
2
9783319153179 - Ivan Lanese; Eric Madelaine: Formal Aspects of Component Software
Ivan Lanese; Eric Madelaine

Formal Aspects of Component Software (2014)

Lieferung erfolgt aus/von: Italien ~EN NW EB DL

ISBN: 9783319153179 bzw. 331915317X, vermutlich in Englisch, Springer Shop, neu, E-Book, elektronischer Download.

47,59
unverbindlich
Lieferung aus: Italien, Lagernd, zzgl. Versandkosten.
This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014. The 20 full papers presented in this volume were carefully reviewed and selected from 44 submissions. They are organized in topical sections named: compositional approaches; adaptation and evolution; application and experience; tools; scheduling, time and hybrid systems; other verification approaches and safety and liveness of composition. The volume also contains two invited talks, one full paper and one abstract. eBook.
3
9783319153179 - Herausgeber: Ivan Lanese, Herausgeber: Eric Madelaine: Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers (Lecture Notes in Computer Science)
Herausgeber: Ivan Lanese, Herausgeber: Eric Madelaine

Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers (Lecture Notes in Computer Science) (2015)

Lieferung erfolgt aus/von: Deutschland EN NW EB DL

ISBN: 9783319153179 bzw. 331915317X, in Englisch, 385 Seiten, 2015. Ausgabe, Springer, neu, E-Book, elektronischer Download.

Lieferung aus: Deutschland, E-Book zum Download, Versandkostenfrei.
This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014.The 20 full papers presented in this volume were carefully reviewed and selected from 44 submissions. They are organized in topical sections named: compositional approaches; adaptation and evolution; application and experience; tools; scheduling, time and hybrid systems; other verification approaches and safety and liveness of composition. The volume also contains two invited talks, one full paper and one abstract., Kindle Edition, Ausgabe: 2015, Format: Kindle eBook, Label: Springer, Springer, Produktgruppe: eBooks, Publiziert: 2015-01-29, Freigegeben: 2015-01-29, Studio: Springer.
4
9783319153179 - Eric Madelaine, Ivan Lanese: Formal Aspects of Component Software
Eric Madelaine, Ivan Lanese

Formal Aspects of Component Software (2015)

Lieferung erfolgt aus/von: Frankreich ~EN NW EB DL

ISBN: 9783319153179 bzw. 331915317X, vermutlich in Englisch, Springer, Springer, Springer, neu, E-Book, elektronischer Download.

Lieferung aus: Frankreich, in-stock.
This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014.The 20 full papers presented in this volume were carefully revie.
5
9783319153179 - Formal Aspects of Component Software

Formal Aspects of Component Software (2014)

Lieferung erfolgt aus/von: Vereinigtes Königreich Großbritannien und Nordirland DE NW

ISBN: 9783319153179 bzw. 331915317X, in Deutsch, neu.

Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Versandkostenfrei.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
6
9783319153179 - Formal Aspects of Component Software (ebook)

Formal Aspects of Component Software (ebook)

Lieferung erfolgt aus/von: Vereinigte Staaten von Amerika EN NW EB

ISBN: 9783319153179 bzw. 331915317X, in Englisch, (null), neu, E-Book.

64,01 ($ 69,99)¹
versandkostenfrei, unverbindlich
9783319153179, by Ivan Lanese, PRINTISBN: 9783319153162, E-TEXT ISBN: 9783319153179, edition 0.
7
Ivan Lanese

Formal Aspects of Component Software (2015)

Lieferung erfolgt aus/von: Deutschland DE PB NW

ISBN: 9783319153162 bzw. 3319153161, in Deutsch, Springer-Verlag Gmbh Mrz 2015, Taschenbuch, neu.

59,92 + Versand: 17,13 = 77,05
unverbindlich
Von Händler/Antiquariat, Rheinberg-Buch [53870650], Bergisch Gladbach, Germany.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
8
Ivan Lanese

Formal Aspects of Component Software (2015)

Lieferung erfolgt aus/von: Deutschland DE PB NW

ISBN: 9783319153162 bzw. 3319153161, in Deutsch, Springer-Verlag Gmbh Mrz 2015, Taschenbuch, neu.

59,92 + Versand: 14,00 = 73,92
unverbindlich
Von Händler/Antiquariat, sparbuchladen [52968077], Göttingen, NDS, Germany.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
9
Ivan Lanese

Formal Aspects of Component Software (2015)

Lieferung erfolgt aus/von: Deutschland DE PB NW

ISBN: 9783319153162 bzw. 3319153161, in Deutsch, Springer-Verlag Gmbh Mrz 2015, Taschenbuch, neu.

59,92 + Versand: 15,50 = 75,42
unverbindlich
Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, Germany.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
10
IVAN LANESE

Formal Aspects of Component Software. 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers (2015)

Lieferung erfolgt aus/von: Deutschland DE PB US

ISBN: 9783319153162 bzw. 3319153161, in Deutsch, Springer, Taschenbuch, gebraucht.

72,50 + Versand: 11,04 = 83,54
unverbindlich
Von Händler/Antiquariat, Herb Tandree Philosophy Books [17426], Stroud, United Kingdom.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…