The logical basis for computer programming Vol. 2, Deductive systems

Författare
Zohar Manna
(Zohar Manna, Richard Waldinger)
Språk
Engelska
Förlag År Ort Om boken ISBN
Addison-Wesley cop. 1990 USA, Reading, Mass 642 sidor. 0-201-18261-0
Addison-Wesley 1985-1990 USA, Reading, Mass 2 vol.
Addison-Wesley cop. 1985 USA, Reading, Mass 618 sidor.