Von dem Buch Formal Methods for Multicore Programming haben wir 3 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:
100%: Marco Bernardo: Formal Methods for Multicore Programming (ISBN: 9783319189413) 2015, in Englisch, Taschenbuch.Nur diese Ausgabe anzeigen…
90%: Bernardo, Marco (Editor)/ Johnsen, Einar Broch (Editor): Formal Methods for Multicore Programming. 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures (ISBN: 9783319189406) 2015, in Deutsch, Taschenbuch.Nur diese Ausgabe anzeigen…
54%: Sous la direction de: Marco Bernardo, Sous la direction de: Ferruccio Damiani, Sous la direction de: Reiner Haehnle, Sous la direction de: Einar Broch Johnsen, Sous la direction de: Ina Schaefer: Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures (ISBN: 9783319073163) 2014, 2014. Ausgabe, in Englisch, Taschenbuch.Nur diese Ausgabe anzeigen…
Formal Methods for Multicore Programming - 17 Angebote vergleichen
| Preise | Sep. 16 | Apr. 19 | Okt. 19 |
|---|---|---|---|
| Schnitt | Fr. 49.93 (€ 51.16)¹ | Fr. 41.37 (€ 42.39)¹ | Fr. 28.76 (€ 29.48)¹ |
| Nachfrage |
1
Formal Methods for Executable Software Models (2014)
~EN PB NWISBN: 9783319073163 bzw. 3319073168, vermutlich in Englisch, Springer Shop, Taschenbuch, neu.
Lieferung aus: Österreich, Lagernd.
This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014. SFM 2014 was devoted to executable software models and covered topics such as variability models, automated analysis techniques, deductive verification, and runtime assessment and testing. The papers collected in the two parts (first part: modeling and verification; second part: run-time assessment and testing) of this volume represent the broad range of topics of the school. Soft cover.
This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014. SFM 2014 was devoted to executable software models and covered topics such as variability models, automated analysis techniques, deductive verification, and runtime assessment and testing. The papers collected in the two parts (first part: modeling and verification; second part: run-time assessment and testing) of this volume represent the broad range of topics of the school. Soft cover.
2
Formal Methods for Multicore Programming (2015)
~EN NW EB DLISBN: 9783319189413 bzw. 3319189417, vermutlich in Englisch, Springer Shop, neu, E-Book, elektronischer Download.
Lieferung aus: Japan, Lagernd, zzgl. Versandkosten.
This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015. SFM 2015 was devoted to multicore programming and covered topics such as concurrency and coordination mechanisms, architecture and memory models and type systems. eBook.
This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015. SFM 2015 was devoted to multicore programming and covered topics such as concurrency and coordination mechanisms, architecture and memory models and type systems. eBook.
3
Formal Methods for Multicore Programming - 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
DE NWISBN: 9783319189413 bzw. 3319189417, in Deutsch, Springer International Publishing, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
Formal Methods for Multicore Programming: This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015. SFM 2015 was devoted to multicore programming and covered topics such as concurrency and coordination mechanisms, architecture and memory models and type systems. Englisch, Ebook.
Formal Methods for Multicore Programming: This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015. SFM 2015 was devoted to multicore programming and covered topics such as concurrency and coordination mechanisms, architecture and memory models and type systems. Englisch, Ebook.
4
Formal Methods for Multicore Programming (2015)
~EN PB NWISBN: 9783319189413 bzw. 3319189417, vermutlich in Englisch, Springer International Publishing, Taschenbuch, neu.
Formal Methods for Multicore Programming ab 50.99 € als pdf eBook: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures. Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Computer & Internet,.
5
Herausgeber: Marco Bernardo, Herausgeber: Ferruccio Damiani, Herausgeber: Reiner Haehnle, Herausgeber: Einar Broch Johnsen, Herausgeber: Ina Schaefer
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software . Lectures (Lecture Notes in Computer Science) (2014)
EN PB NWISBN: 9783319073163 bzw. 3319073168, in Englisch, 352 Seiten, 2014. Ausgabe, Springer, Taschenbuch, neu.
Neu ab: EUR 56,40 (36 Angebote)
Gebraucht ab: EUR 71,40 (1 Angebote)
Zu den weiteren 37 Angeboten bei Amazon.de (Int.)
Lieferung aus: Deutschland, Versandfertig in 1 - 2 Werktagen.
Von Händler/Antiquariat, averdo24.
Formal Methods for Executable Software Models This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014. SFM 2014 was devoted to executable software models and covered topics such as variability models, automated analysis techniques, deductive verification, and runtime assessment and testing. The papers collected in the two parts (first part: modeling and verification; second part: run-time assessment and testing) of this volume represent the broad range of topics of the school. Taschenbuch, Ausgabe: 2014, Label: Springer, Springer, Produktgruppe: Book, Publiziert: 2014-05-21, Freigegeben: 2014-05-21, Studio: Springer.
Von Händler/Antiquariat, averdo24.
Formal Methods for Executable Software Models This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014. SFM 2014 was devoted to executable software models and covered topics such as variability models, automated analysis techniques, deductive verification, and runtime assessment and testing. The papers collected in the two parts (first part: modeling and verification; second part: run-time assessment and testing) of this volume represent the broad range of topics of the school. Taschenbuch, Ausgabe: 2014, Label: Springer, Springer, Produktgruppe: Book, Publiziert: 2014-05-21, Freigegeben: 2014-05-21, Studio: Springer.
6
Herausgeber: Marco Bernardo, Herausgeber: Ferruccio Damiani, Herausgeber: Reiner Haehnle, Herausgeber: Einar Broch Johnsen, Herausgeber: Ina Schaefer
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software . Lectures (Lecture Notes in Computer Science) (2014)
EN PB USISBN: 9783319073163 bzw. 3319073168, in Englisch, 352 Seiten, 2014. Ausgabe, Springer, Taschenbuch, gebraucht.
Neu ab: EUR 55,45 (40 Angebote)
Gebraucht ab: EUR 64,77 (2 Angebote)
Zu den weiteren 42 Angeboten bei Amazon.de (Int.)
Lieferung aus: Deutschland, Versandfertig in 1 - 2 Werktagen.
Von Händler/Antiquariat, Herb Tandree Philosophy Books.
Formal Methods for Executable Software Models This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014. SFM 2014 was devoted to executable software models and covered topics such as variability models, automated analysis techniques, deductive verification, and runtime assessment and testing. The papers collected in the two parts (first part: modeling and verification; second part: run-time assessment and testing) of this volume represent the broad range of topics of the school. Taschenbuch, Ausgabe: 2014, Label: Springer, Springer, Produktgruppe: Book, Publiziert: 2014-05-21, Freigegeben: 2014-05-21, Studio: Springer.
Von Händler/Antiquariat, Herb Tandree Philosophy Books.
Formal Methods for Executable Software Models This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014. SFM 2014 was devoted to executable software models and covered topics such as variability models, automated analysis techniques, deductive verification, and runtime assessment and testing. The papers collected in the two parts (first part: modeling and verification; second part: run-time assessment and testing) of this volume represent the broad range of topics of the school. Taschenbuch, Ausgabe: 2014, Label: Springer, Springer, Produktgruppe: Book, Publiziert: 2014-05-21, Freigegeben: 2014-05-21, Studio: Springer.
7
Herausgeber: Marco Bernardo, Herausgeber: Ferruccio Damiani, Herausgeber: Reiner Haehnle, Herausgeber: Einar Broch Johnsen, Herausgeber: Ina Schaefer
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software . Lectures (Lecture Notes in Computer Science) (2014)
EN PB USISBN: 9783319073163 bzw. 3319073168, in Englisch, 352 Seiten, 2014. Ausgabe, Springer, Taschenbuch, gebraucht.
Neu ab: EUR 59,63 (44 Angebote)
Gebraucht ab: EUR 69,63 (2 Angebote)
Zu den weiteren 46 Angeboten bei Amazon.de (Int.)
Lieferung aus: Deutschland, Versandfertig in 1 - 2 Werktagen.
Von Händler/Antiquariat, ---SuperBookDeals---.
Formal Methods for Executable Software Models This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014. SFM 2014 was devoted to executable software models and covered topics such as variability models, automated analysis techniques, deductive verification, and runtime assessment and testing. The papers collected in the two parts (first part: modeling and verification; second part: run-time assessment and testing) of this volume represent the broad range of topics of the school. Taschenbuch, Ausgabe: 2014, Label: Springer, Springer, Produktgruppe: Book, Publiziert: 2014-05-21, Freigegeben: 2014-05-21, Studio: Springer.
Von Händler/Antiquariat, ---SuperBookDeals---.
Formal Methods for Executable Software Models This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014. SFM 2014 was devoted to executable software models and covered topics such as variability models, automated analysis techniques, deductive verification, and runtime assessment and testing. The papers collected in the two parts (first part: modeling and verification; second part: run-time assessment and testing) of this volume represent the broad range of topics of the school. Taschenbuch, Ausgabe: 2014, Label: Springer, Springer, Produktgruppe: Book, Publiziert: 2014-05-21, Freigegeben: 2014-05-21, Studio: Springer.
8
Sous la direction de: Marco Bernardo, Sous la direction de: Ferruccio Damiani, Sous la direction de: Reiner Haehnle, Sous la direction de: Einar Broch Johnsen, Sous la direction de: Ina Schaefer
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software . Italy, June 16-20, 2014, Advanced Lectures (2014)
EN USISBN: 9783319073163 bzw. 3319073168, in Englisch, 343 Seiten, Springer International Publishing AG, gebraucht.
Neu ab: EUR 55,51 (7 Angebote)
Gebraucht ab: EUR 71,40 (1 Angebote)
Zu den weiteren 8 Angeboten bei Amazon.fr (Int.)
Lieferung aus: Frankreich, Expédition sous 1 à 2 jours ouvrés.
Von Händler/Antiquariat, Herb Tandree Philosophy Books.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, Herb Tandree Philosophy Books.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
9
Symbolbild
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures (2014)
DE PB NWISBN: 9783319073163 bzw. 3319073168, in Deutsch, Springer International Publishing AG, Taschenbuch, neu.
Von Händler/Antiquariat, THE SAINT BOOKSTORE [51194787], Southport, United Kingdom.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
10
Symbolbild
Formal Methods for Multicore Programming (2015)
DE PB NWISBN: 9783319189406 bzw. 3319189409, in Deutsch, Springer-Verlag Gmbh Jun 2015, Taschenbuch, neu.
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
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…