NERODE, Anil and Richard A. SHORE. Logic for applications. New York: Springer-Verlag, 1993. xvii, 365. ISBN 0387941290.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Logic for applications
Authors NERODE, Anil and Richard A. SHORE.
Edition New York, xvii, 365, 1993.
Publisher Springer-Verlag
Other information
ISBN 0387941290
Changed by The record has been imported from the library system. Changed: 27/3/2017 06:00.
PrintDisplayed: 20/4/2021 22:50