The logical basis for computer programming

Bibliografiske detaljer
Hovedforfatter: Manna, Zohar
Andre forfattere: Waldinger, Richard
Format: Bog
Sprog:English
Udgivet: Reading, Mass. Addison-Wesley c1985-c1990.
Serier:Addison-Wesley series in computer science
Fag: