Suchergebnisse - Sekerinski, Emil 1963-
- Treffer 1 – 6 von 6
-
1Formal methods: FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019 : revised selected papers, part IIVeröffentlicht 2020Weitere beteiligte Personen: “… Sekerinski, Emil 1963- …”
Signatur: Wird geladen …Online lesen
Standort: Wird geladen …
Elektronisch Tagungsbericht E-Book -
2Formal methods: FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019 : revised selected papers, part IVeröffentlicht 2020Weitere beteiligte Personen: “… Sekerinski, Emil 1963- …”
Signatur: Wird geladen …Online lesen
Standort: Wird geladen …
Elektronisch Tagungsbericht E-Book -
3Formal Methods: FM 2019 international workshops : Porto, Portugal, October 7-11, 2019 : revised selected papersVeröffentlicht 2020Weitere beteiligte Personen: “… Sekerinski, Emil 1963- …”
Signatur: Wird geladen …
Standort: Wird geladen …Tagungsbericht Buch Wird geladen … -
4Formal Methods: FM 2019 international workshops : Porto, Portugal, October 7-11, 2019 : revised selected papersPart 1Veröffentlicht 2020Weitere beteiligte Personen: “… Sekerinski, Emil 1963- …”
Signatur: Wird geladen …
Standort: Wird geladen …Tagungsbericht Buch Wird geladen … -
5Formal Methods: FM 2019 international workshops : Porto, Portugal, October 7-11, 2019 : revised selected papersPart 2Veröffentlicht 2020Weitere beteiligte Personen: “… Sekerinski, Emil 1963- …”
Signatur: Wird geladen …
Standort: Wird geladen …Tagungsbericht Buch Wird geladen … -
6From action systems to distributed systems: the refinement approachVeröffentlicht 2016Weitere beteiligte Personen: “… Sekerinski, Emil 1963- …”
Signatur: Wird geladen …
Standort: Wird geladen …Elektronisch E-Book