The logical basis for computer programming

Xehetasun bibliografikoak
Egile nagusia: Manna, Zohar
Beste egile batzuk: Waldinger, Richard
Formatua: Liburua
Hizkuntza:English
Argitaratua: Reading, Mass. Addison-Wesley c1985-c1990.
Saila:Addison-Wesley series in computer science
Gaiak: