Sortierung ändern: Popularität Titel Veröffentlichung Preis
 |
 |
Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
|
EDV / Informatik |
70.00 |
|
| Buch |
  Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings
|
EDV / Informatik |
76.00 |
|
| Buch |
 Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revise
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
|
EDV / Informatik |
97.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceed
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings
|
EDV / Informatik |
90.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised S
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Re
|
EDV / Informatik |
96.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revis
|
EDV / Informatik |
146.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023
|
EDV / Informatik |
55.90 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 20
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops: ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4–5, 2024, Revised Sel
|
EDV / Informatik |
103.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proc
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
|
EDV / Informatik |
90.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 20
|
EDV / Informatik |
102.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 202
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
| / 2  | |
Newsfeed | 
Facebook | 
Twitter
