Knuth, Elod books & textbook

COMPUTER-AIDED SPECIFICATION TECHNIQUES (World Scientific Computer Science)

Demetrovics, Janos Knuth, Elod Rado, Peter

World Scientific Publishing Company /1986-01-01 Hardcover / 128 Pages
isbn-10: 9971978539 / isbn-13: 9789971978532

Specification and Design of Software Systems: Conference on Operating Systems. Visegrad, Hungary, January 23-27, 1982; Proceedings (Lecture Notes in Computer Science, 152)

Knuth, Elöd Neuhold, E.J.

Springer /1983-01-01 Paperback / 176 Pages
isbn-10: 3540122842 / isbn-13: 9783540122845

Visual Database Systems, II: Proceedings of the Ifip Tc/Wg2.6 Second Working Conference, Budapest, Hungary, 30 September-3 October, 1991 (Ifip Trans)

Knuth, Elod Wegner, Lutz M.

North-Holland /1992-01-01 Paperback / 474 Pages
isbn-10: 0444896090 / isbn-13: 9780444896094