Steffen Zschaler – författare
Visar alla böcker från författaren Steffen Zschaler. Handla med fri frakt och snabb leverans.
5 produkter
Composing Model-Based Analysis Tools
Av Robert Heinrich, Francisco Durán m. fl.
Inbunden, 2021
1573 kr
Lägg i varukorg
This book presents joint works of members of the software engineering and formal methods communities with representatives from industry, with the goal of establishing the foundations for a common understanding of the needs for more flexibility in model-driven engineering. It is based on the …
Composing Model-Based Analysis Tools
Av Steffen Zschaler, Carolyn Talcott m. fl.
E-bok, 2021
1445 kr
Lägg i varukorg
This book presents joint works of members of the software engineering and formal methods communities with representatives from industry, with the goal of establishing the foundations for a common understanding of the needs for more flexibility in model-driven engineering. It is based on the …
Composing Model-Based Analysis Tools
Av Robert Heinrich, Francisco Durán m. fl.
Häftad, 2022
1126 kr
Lägg i varukorg
This book presents joint works of members of the software engineering and formal methods communities with representatives from industry, with the goal of establishing the foundations for a common understanding of the needs for more flexibility in model-driven engineering. It is based on the …
Software Technologies: Applications and Foundations
STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers
Av Martina Seidl, Steffen Zschaler
Häftad, 2018
566 kr
Lägg i varukorg
This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2017, held in Marburg, Germany, in July 2017. The 15 full and 22 short papers presented were carefully …
Software Technologies: Applications and Foundations
STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers
Av Steffen Zschaler, Martina Seidl
E-bok, 2018
755 kr
Lägg i varukorg
This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2017, held in Marburg, Germany, in July 2017. The 15 full and 22 short papers presented were carefully …