Ebook: Formale Programmentwicklung mit dynamischer Logik
Author: Maritta Heisel
- Tags: Computer Science, Logics and Meanings of Programs
- Series: DUV: Datenverarbeitung
- Year: 1992
- Publisher: Deutscher Universitätsverlag
- Edition: 1. Aufl.
- Language: German
- pdf
Download the book Formale Programmentwicklung mit dynamischer Logik for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)