1993

Logic for applications

NERODE, Anil a Richard A. SHORE

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ěněno: 22. 4. 2024 04:45, Záznam byl importován z knihovního systému.
Zobrazeno: 28. 9. 2025 04:58