roggenbach - ECU Libraries Catalog

Start Over

You searched for: Keywords roggenbach

Showing 1 - 8 of 8 results

Search Results

Cover image for Formal Methods for Software Engineering Languages, Methods, Application Domains

Formal Methods for Software Engineering Languages, Methods, Application Domains

by Roggenbach, Markus
2022
1st ed. 2022
Format: Electronic

Location
Access Content Online

Cover image for Recent Trends in Algebraic Development Techniques 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers

Recent Trends in Algebraic Development Techniques 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers

by Roggenbach, Markus
2021
1st ed. 2021
Format: Electronic

Location
Access Content Online

Cover image for Recent trends in algebraic development techniques

Recent trends in algebraic development techniques

by WADT 2001
2001
Format: Electronic

Location
Access Content Online

Cover image for Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21?24, 2016, Revised Selected Papers

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
2017
Format: Electronic

Location
Access Content Online

Cover image for Formal Methods - Fun for Everybody First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers

Formal Methods - Fun for Everybody First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers

by Cerone, Antonio
2021
1st ed. 2021
Format: Electronic

Location
Access Content Online

Cover image for Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday

Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday

by Haxthausen, Anne E.
2023
1st ed. 2023
Format: Electronic

Location
Access Content Online

Cover image for Algebra and Coalgebra in Computer Science

Algebra and Coalgebra in Computer Science

2006
Format: Electronic

Location
Access Content Online

Cover image for Im Ring der Gegner Bismarcks

Im Ring der Gegner Bismarcks

by Roggenbach, Franz
1967
Format: Book

Location	Call #	Status
Joyner - General Stacks	DD221.R6 1967	✔ Available