Detailed Information on Publication Record
1993
Logic for applications
NERODE, Anil and Richard A. SHOREBasic 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
Změněno: 22/4/2024 04:45, The record has been imported from the library system.