![Seitenanfang](http://www.zahlreich.de/icons/mark_top.gif) ![voriger Beitrag](http://www.zahlreich.de/icons/mark_up.gif) ![nächster Beitrag](http://www.zahlreich.de/icons/mark_down.gif) ![Link zu diesem Beitrag](http://www.zahlreich.de/icons/tree_m.gif)
Rebmalten (Rebmalten)
![Suche alle Beiträge dieser Person in dieser Hauptrubrik](http://www.zahlreich.de/icons/view_icon.gif)
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 |