Language: English
Help
Login
Languages
Covers
Jump To : Overview | Titles | Subjects

Roggenbach, Markus.

Overview
Works: 4 works in 2 publications in 1 languages
Titles
Recent trends in algebraic development techniques = 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016 : revised selected papers / by: James, Phillip.; Workshop on the Preservation of Stability under Discretization ((2001 :); Roggenbach, Markus.; SpringerLink (Online service) (Language materials, printed)
On the Construction of Engineering Handbooks = with an Illustration from the Railway Safety Domain / by: Maibaum, Tom.; Roggenbach, Markus.; SpringerLink (Online service); Gruner, Stefan.; Kumar, Apurva. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/aut]
Formal Methods – Fun for Everybody = First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers / by: Cerone, Antonio.; SpringerLink (Online service); Roggenbach, Markus. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Recent Trends in Algebraic Development Techniques = 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers / by: Roggenbach, Markus.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Applicable formal methods for safe industrial products = essays dedicated to Jan Peleska on the occasion of his 65th birthday / by: Haxthausen, Anne E.; Roggenbach, Markus.; SpringerLink (Online service); Huang, Wen-ling.; Peleska, Jan, (Language materials, printed)
Recent Trends in Algebraic Development Techniques = 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers / by: Roggenbach, Markus.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Formal Methods for Software Engineering = Languages, Methods, Application Domains / by: Schneider, Gerardo.; Shaikh, Siraj Ahmed.; Schlingloff, Bernd-Holger.; Cerone, Antonio.; SpringerLink (Online service); Roggenbach, Markus. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/aut]
 
 
Change password
Login