H. Peter Gumm

Philipps-Universität Marburg

In my hand-crafted Java program i forgot the return type of the two non-constructor methods and I changed
Account  to Konto, forgetting to also rename the constructor.  Their translation hardly looks like a Java Program ... 
The translation of the rest of the page, however, was executed rather „faithfully“ ...

As I said before, I used „Nichtdeterministische Systeme“ as another word for „Kripke Structures“.  …

Gumm

Denecke/Wismath