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 NW
ISBN: 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 NW
ISBN: 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 NW
ISBN: 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 EB
ISBN: 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 EB
ISBN: 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 NW
ISBN: 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 EB
ISBN: 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 NW
ISBN: 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 NW
ISBN: 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 NW
ISBN: 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…