Search Results - Raschke, Alexander
- Showing 1 - 5 results of 5
-
1
Modeling companion for software practitioners by Börger, E. (Egon), 1946-, Raschke, Alexander
Published: Springer, 2018Description: 1 online resource.Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
eBook -
2
Rigorous state-based methods : 8th international conference, ABZ 2021, Ulm, Germany, June 9-11, 2021 : proceedings by ABZ (Conference) Online), SpringerLink (Online service)
Published: Springer, 2021Other Authors: “…Raschke, Alexander…”Description: 1 online resource : illustrations (chiefly color).
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
3
Rigorous state-based methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings 1st ed. 2020. by ABZ (Conference) Ulm, Germany), SpringerLink (Online service)
Published: Springer International Publishing : Imprint: Springer, 2020Other Authors: “…Raschke, Alexander…”Description: 1 online resource (xii, 428 pages) : 675 illustrations, 66 illustrations in color.
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Electronic Conference Proceeding eBook -
4
Logic, computation and rigorous methods : essays dedicated to Egon Börger on the occasion of his 75th birthday by SpringerLink (Online service)
Published: Springer, 2021Other Authors: “…Raschke, Alexander…”Description: 1 online resource (367 pages).
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
eBook -
5
Abstract state machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings by ABZ (Conference) Southampton, England), SpringerLink (Online service)
Published: Springer, 2018Other Authors:Description: 1 online resource (xiv, 432 pages) : illustrations.Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook