Logic at Botik '89
Subtitle: Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings (Lecture Notes in Computer Science)
Contributors: Albert R. Meyer (Editor); Michael A. Taitslin (Editor)
Publisher: Not Avail
Published: July 1989
Language: eng
Format: Paperback
Number of pages: 289
ISBN-13: 9783540512370
Subjects: Mathematical theory of computation; Machine Theory; Computers - General Information; Programming - Software Development; Logic Design