Treffer 1 – 7 von 7 für Suche 'Butler, Michael 1967-', Suchdauer: 0,03s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Abstract state machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018 : proceedings

    Abstract state machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018 : proceedings

    Veröffentlicht 2018
    Weitere Verfasser: “… Butler, Michael 1967- …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Abstract state machines, alloy, B, TLA, VDM, and Z 6th international conference, ABZ 2018, Southhampton, UK, June 5-8, 2018 : proceedings

    Abstract state machines, alloy, B, TLA, VDM, and Z 6th international conference, ABZ 2018, Southhampton, UK, June 5-8, 2018 : proceedings

    Veröffentlicht 2018
    Weitere Verfasser: “… Butler, Michael 1967- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Abstract state machines, alloy, B, TLA, VDM, and Z 5th international conference, ABZ 2016, Linz, Austria, May 23-27, 2016 : proceedings

    Abstract state machines, alloy, B, TLA, VDM, and Z 5th international conference, ABZ 2016, Linz, Austria, May 23-27, 2016 : proceedings

    Veröffentlicht 2016
    Weitere Verfasser: “… Butler, Michael 1967- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016: proceedings

    Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016: proceedings

    Veröffentlicht 2016
    Weitere Verfasser: “… Butler, Michael 1967- …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Formal methods and software engineering 17th international conference on formal engineering methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings

    Formal methods and software engineering 17th international conference on formal engineering methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings

    Veröffentlicht 2015
    Weitere Verfasser: “… Butler, Michael 1967- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

    Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

    Veröffentlicht 2015
    Weitere Verfasser: “… Butler, Michael 1967- …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:
  7. 7
    FM 2011: Formal methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20 - 24, 2011 : proceedings

    FM 2011: Formal methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20 - 24, 2011 : proceedings

    Veröffentlicht 2011
    Weitere Verfasser: “… Butler, Michael 1967- …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: