| Born | 1979 |
Subjects
Entwurfssprache, Formale Semantik, HOL, Isabelle, Modellgetriebene Entwicklung, Objektorientierte ProgrammierspracheID Numbers
- OLID: OL9405512A
Links outside Open Library
No links yet. Add one?
| September 2, 2021 | Created by ImportBot | import new book |