Search Results - Raschke, Alexander

  • Showing 1 - 5 results of 5
Refine Results
  1. 1

    Modeling companion for software practitioners by Börger, E. (Egon), 1946-, Raschke, Alexander

    Published: Springer, 2018
    Description: 1 online resource.
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Modeling companion for software practitioners
  2. 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, 2021
    Description: 1 online resource : illustrations (chiefly color).
    Other Authors: “…Raschke, Alexander…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Rigorous state-based methods : 8th international conference, ABZ 2021, Ulm, Germany, June 9-11, 2021 : proceedings
  3. 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, 2020
    Description: 1 online resource (xii, 428 pages) : 675 illustrations, 66 illustrations in color.
    Other Authors: “…Raschke, Alexander…”
    SpringerLink - Click here for access
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Rigorous state-based methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings
  4. 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, 2021
    Description: 1 online resource (367 pages).
    Other Authors: “…Raschke, Alexander…”
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Logic, computation and rigorous methods : essays dedicated to Egon Börger on the occasion of his 75th birthday
  5. 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, 2018
    Description: 1 online resource (xiv, 432 pages) : illustrations.
    Other Authors:
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Abstract state machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings

Search Tools: