Ebook: Logics of Programs: Brooklyn, June 17–19, 1985 Proceedings
- Tags: Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Computation by Abstract Devices
- Series: Lecture Notes in Computer Science 193
- Year: 1985
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 1
- Language: English
- djvu
Download the book Logics of Programs: Brooklyn, June 17–19, 1985 Proceedings for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)