
Hybrid Systems
Anil Nerode, Robert L. Grossman, Anders P. Ravn
₹2,978

Second International Symposium
by Anil Nerode, Mikhail Taitslin
Springer · 1992 · Paperback
Free delivery. Nothing extra to pay at checkout.
Logical Foundations of Computer Science - Tver '92: Second International Symposium by Anil Nerode & Mikhail Taitslin is a 514-page paperback edition published by Springer in 1992. It belongs to the Lecture notes in computer science series.
Topics covered include Electronic data processing, Computers, Congresses and Symbolic and mathematical Logic.
About the author: Anil Nerode (born 1932).