    
Rebmalten (Rebmalten)
Erfahrenes Mitglied
Benutzername: Rebmalten
Nummer des Beitrags: 127
Registriert: 07-2002
| | Veröffentlicht am Mittwoch, den 04. Februar, 2004 - 20:56: | 
|
Hallo,
kennt sich hier jemand damit aus? Ich fand die VL bisher ganz gut; auf dem jetzigen (letzten:-)) Zettel lautet die Aufgabe, eine Spezifikation, die in Z gegeben ist, in TLA zu übersetzen. Bevor keiner die beiden Methoden kennt, probier' ich's noch allein weiter, aber sonst scan ich die Z-Spez. hier ein...
Gruß Reb |
