1993
Logic for applications
NERODE, Anil a Richard A. SHOREZá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ěněno: 22. 4. 2024 04:45, Záznam byl importován z knihovního systému.