Logic for applications /

Gorde:
Xehetasun bibliografikoak
Egile nagusia: Nerode, Anil
Beste egile batzuk: Shore, Richard A.
Formatua: Liburua
Hizkuntza:ingelesa
Argitaratua: New york : Springer-Verlag, 1997.
Edizioa:2nd ed.
Saila:Graduate texts in computer science
Gaiak:
Etiketak: Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
Deskribapena
Deskribapen fisikoa:456 P. ; 25 cm.
Bibliografia:Includes bibliographical references and index.
ISBN:0387948937