Showing 1 - 4 results of 4 for search 'ter Beek, Maurice H.', query time: 0.02s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Proceedings of the 11th International Workshop on Variability Modelling of Software-Intensive Systems

    Proceedings of the 11th International Workshop on Variability Modelling of Software-Intensive Systems by ter Beek, Maurice H

    Published 2017
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  2. 2
    Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

    Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

    Published 2019
    Other Authors: “…ter Beek, Maurice H.…”
    Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  3. 3
    Formal methods - the next 30 years third world congress, FM 2019, Porto, Portugal, October 7-11, 2019 : proceedings

    Formal methods - the next 30 years third world congress, FM 2019, Porto, Portugal, October 7-11, 2019 : proceedings

    Published 2019
    Other Authors: “…Ter Beek, Maurice H.…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  4. 4
    From software engineering to formal methods and tools, and back essays dedicated to Stefania Gnesi on the occasion of her 65th birthday

    From software engineering to formal methods and tools, and back essays dedicated to Stefania Gnesi on the occasion of her 65th birthday

    Published 2019
    Other Authors: “…Ter Beek, Maurice H.…”
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: