Treffer 1 - 4 von 4 für Suche 'ter Beek, Maurice H.', Suchdauer: 0,28s Treffer weiter einschränken
  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 von ter Beek, Maurice H

    Veröffentlicht 2017
    UBM01
    URL des Erstveröffentlichers
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert 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

    Veröffentlicht 2019
    Weitere Verfasser: “… ter Beek, Maurice H. …”
    BTU01
    FHA01
    FHI01
    FHM01
    FHN01
    FHR01
    FKE01
    FLA01
    FRO01
    FWS01
    FWS02
    HTW01
    TUM01
    UBG01
    UBM01
    UBR01
    UBT01
    UBW01
    UBY01
    UER01
    UPA01
    URL des Erstveröffentlichers
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert 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

    Veröffentlicht 2019
    Weitere Verfasser: “… Ter Beek, Maurice H. …”
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert 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

    Veröffentlicht 2019
    Weitere Verfasser: “… Ter Beek, Maurice H. …”
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: