NERODE, Anil a Richard A. SHORE. Logic for applications. New York: Springer-Verlag, 1993. xvii, 365. ISBN 0387941290.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Logic for applications
Autoři NERODE, Anil a Richard A. SHORE.
Vydání New York, xvii, 365, 1993.
Nakladatel Springer-Verlag
Další údaje
ISBN 0387941290
Změnil Záznam byl importován z knihovního systému. Změněno: 27. 3. 2017 06:00.
VytisknoutZobrazeno: 10. 4. 2021 21:10