Treffer 1 – 3 von 3 für Suche 'Gilmore, Stephen 1962-', Suchdauer: 0,05s 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
    Supporting formal reasoning about Standard ML

    Supporting formal reasoning about Standard ML von Collins, Graham, Gilmore, Stephen 1962-

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Correctness-oriented approaches to software development

    Correctness-oriented approaches to software development von Gilmore, Stephen 1962-

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Language Constructs for Describing Features Proceedings of the FIREworks workshop

    Language Constructs for Describing Features Proceedings of the FIREworks workshop

    Veröffentlicht 2001
    Weitere Verfasser: “… Gilmore, Stephen 1962- …”
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: