Programme, Rekursion und grenzenlose Auswahl von Wim H. Hesselink (Englisch) Taschenbuch
86,71 €
By Wim H. Hesselink. Author Wim H. Hesselink. List of symbols; Introduction; 1. Weakest preconditions; 2. Annotation, recursion and repetition; 3. Healthiness laws; 4. Semantics of recursion; 5. Ramifications; 6.
Jetzt bei Ebay:
