
Logic in Computer Science
Michael Huth, Mark Ryan
₹6,059

Symposium on Logical Foundations of Computer Science
by Albert R. Meyer, Michael A. Taitslin
Springer · 1989 · Paperback
Free delivery. Nothing extra to pay at checkout.
Logic at Botik '89: Symposium on Logical Foundations of Computer Science is written by Albert R. Meyer & Michael A. Taitslin. This paperback edition from Springer (1989) has 289 pages.
Topics covered include Mathematical theory of computation, Machine Theory and Logic Design.