Von dem Buch Software Engineering and Formal Methods als eBook von haben wir 4 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%: Springer: Software Engineering and Formal Methods als eBook von (ISBN: 9783319229690) 2015, in Deutsch, auch als eBook.Nur diese Ausgabe anzeigen…
71%: Springer International Publishing: Software Engineering and Formal Methods (ISBN: 9783319104317) 2014, Springer International Publishing, in Englisch, auch als eBook.Nur diese Ausgabe anzeigen…
50%: Springer International Publishing: Software Engineering and Formal Methods (ISBN: 9783319050324) 2014, Steve Counsell#Manuel Núñez, in Deutsch, auch als eBook.Nur diese Ausgabe anzeigen…
43%: Sixth IEEE International Conference on Software Engineering and Formal Methods (Sefm 2008) (ISBN: 9781424433179) 2008, Curran Associates Inc, in Englisch.Nur diese Ausgabe anzeigen…
Software Engineering and Formal Methods als eBook von
11 Angebote vergleichen
Bester Preis: € 50,49 (vom 06.02.2018)1
Symbolbild
Software Engineering and Formal Methods
DE NWISBN: 9783319104317 bzw. 3319104314, in Deutsch, Springer International Publishing, neu.
Lieferung aus: Deutschland, zzgl. Versandkosten, Sofort per Download lieferbar.
12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings, This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014.The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions. They are organized in topical section on program verification, testing, component-based systems, real-time and embedded systems, model checking and automata learning, program correctness, and adaptive and multi-agent systems.
12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings, This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014.The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions. They are organized in topical section on program verification, testing, component-based systems, real-time and embedded systems, model checking and automata learning, program correctness, and adaptive and multi-agent systems.
2
Symbolbild
Software Engineering and Formal Methods
DE NWISBN: 9783319104317 bzw. 3319104314, in Deutsch, neu.
Lieferung aus: Schweiz, zzgl. Versandkosten, Sofort per Download lieferbar.
12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings, This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014.The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions. They are organized in topical section on program verification, testing, component-based systems, real-time and embedded systems, model checking and automata learning, program correctness, and adaptive and multi-agent systems.
12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings, This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014.The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions. They are organized in topical section on program verification, testing, component-based systems, real-time and embedded systems, model checking and automata learning, program correctness, and adaptive and multi-agent systems.
3
Software Engineering and Formal Methods (2015)
DE NWISBN: 9783319229690 bzw. 3319229699, in Deutsch, neu.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Versandkostenfrei.
Software Engineering and Formal Methods ab 50.49 € als pdf eBook: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Mathematik,.
Software Engineering and Formal Methods ab 50.49 € als pdf eBook: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Mathematik,.
4
Software Engineering and Formal Methods (2014)
DE NW EBISBN: 9783319050324 bzw. 331905032X, in Deutsch, Steve Counsell#Manuel Núñez, neu, E-Book.
Lieferung aus: Schweiz, Sofort per Download lieferbar.
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
5
Symbolbild
Software Engineering and Formal Methods (2015)
DE NW EBISBN: 9783319229690 bzw. 3319229699, in Deutsch, Springer, neu, E-Book.
Lieferung aus: Deutschland, Sofort per Download lieferbar.
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
6
Software Engineering and Formal Methods
DE NWISBN: 9783319050324 bzw. 331905032X, in Deutsch, neu.
Lieferung aus: Deutschland, zzgl. Versandkosten, Sofort per Download lieferbar.
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
7
Software Engineering and Formal Methods
DE NW EBISBN: 9783319050324 bzw. 331905032X, in Deutsch, neu, E-Book.
Lieferung aus: Deutschland, Sofort per Download lieferbar.
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
8
Software Engineering and Formal Methods
DE NWISBN: 9783319050324 bzw. 331905032X, in Deutsch, neu.
Lieferung aus: Schweiz, zzgl. Versandkosten, Sofort per Download lieferbar.
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
9
Software Engineering and Formal Methods als eBook von (2015)
DE NWISBN: 9783319229690 bzw. 3319229699, in Deutsch, Springer International Publishing, 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
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
10
Sixth IEEE International Conference on Software Engineering and Formal Methods (Sefm 2008) (2008)
EN NWISBN: 9781424433179 bzw. 1424433177, in Englisch, Curran Associates Inc, neu.
Lieferung aus: Vereinigte Staaten von Amerika, In Stock.
Sixth IEEE International Conference on Software Engineering and Formal Methods (Sefm 2008), 9781424433179N.
Sixth IEEE International Conference on Software Engineering and Formal Methods (Sefm 2008), 9781424433179N.
Lade…