Author

Contributions

  • Waldinger, Richard. - Contributor
  • Manna, Zohar. - Contributor

Publication

1993 - Addison-Wesley Pub. Co., Reading, Mass, Massachusetts

Language

English

Word Count

179,250 words, Guess

Page Count

717 pages

Identifiers

and 3 more
  • Library of Congress Control Number90001235
  • Better World Books9780201548860
  • Open LibraryOL1849803M

Classifications

  • DDC519.7
  • LCCQA76.6 .M35595 1993
  • LCCQA76.6.M35595 1993

Subjects

Other Editions

  • The deductive foundations of computer programming: a one-volume version of The logical basis for computer programmingAddison-Wesley Pub. Co.1993-01-01

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!