Treffer 1 - 2 von 2 für Suche 'Lai, M. K. F.', Suchdauer: 0,36s Treffer weiter einschränken
  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

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

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: