Logic for applications /

Zapisane w:
Opis bibliograficzny
1. autor: Nerode, Anil
Kolejni autorzy: Shore, Richard A.
Format: Książka
Język:angielski
Wydane: New york : Springer-Verlag, 1997.
Wydanie:2nd ed.
Seria:Graduate texts in computer science
Hasła przedmiotowe:
Etykiety: Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!
Opis
Opis fizyczny:456 P. ; 25 cm.
Bibliografia:Includes bibliographical references and index.
ISBN:0387948937