Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers

Martina Seidl; Steffen Zschaler

Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers

Martina Seidl (Herausgeber*in)
, Steffen Zschaler (Herausgeber*in)

Institut für Formale Modelle und Verifikation

Publikation: Buch › Sammelwerk

Originalsprache	Englisch
Verlag	Springer
Band	10748
ISBN (Print)	978-3-319-74729-3
Publikationsstatus	Veröffentlicht - 2018

Publikationsreihe

Name	Lecture Notes in Computer Science (LNCS)

UN SDGs

Dieser Output leistet einen Beitrag zu folgendem(n) Ziel(en) für nachhaltige Entwicklung

SDG 3 – Gute Gesundheit und Wohlergehen

Wissenschaftszweige

102 Informatik
102001 Artificial Intelligence
102011 Formale Sprachen
102022 Softwareentwicklung
102031 Theoretische Informatik
603109 Logik
202006 Computer Hardware

JKU-Schwerpunkte

Computation in Informatics and Mathematics

Dieses zitieren

@book{50beb6ebe4d2478d93e499e84ab67257,

title = "Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers",

editor = "Martina Seidl and Steffen Zschaler",

year = "2018",

language = "English",

isbn = "978-3-319-74729-3",

volume = "10748",

series = "Lecture Notes in Computer Science (LNCS)",

publisher = "Springer",

}

TY - BOOK

T1 - Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers

A2 - Seidl, Martina

A2 - Zschaler, Steffen

PY - 2018

Y1 - 2018

M3 - Anthology

SN - 978-3-319-74729-3

VL - 10748

T3 - Lecture Notes in Computer Science (LNCS)

BT - Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers

PB - Springer

ER -