Formale Programmentwicklung mit dynamischer Logik. Heisel, M. Deutscher Universitätsverlag, Wiesbaden, 1992.
Formale Programmentwicklung mit dynamischer Logik [link]Paper  abstract   bibtex   
to be inserted
@BOOK{Heisel1992b,
     author = {Heisel, Maritta},
     editor = {Universit{\"{a}}tsverlag, Deutscher},
      title = {{F}ormale {P}rogrammentwicklung mit dynamischer {L}ogik},
       year = {1992},
  publisher = {Deutscher Universit{\"{a}}tsverlag},
    address = {Wiesbaden},
        url = {http://www.duv.com/},
   abstract = {to be inserted},
researchtypes={4},
showonweb={1},
}

Downloads: 0