Treffer 1 – 2 von 2 für Suche 'Lai, M. K. F.', 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
    Using the Modula-2 standard to verify Modula-2 programs

    Using the Modula-2 standard to verify Modula-2 programs von Lai, M. K. F.

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    A formal interpretation of the MAA standard in Z

    A formal interpretation of the MAA standard in Z von Lai, M. K. F.

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: