Contributions

  • Bicarregui, Juan C. 1962- - Contributor

Publication

1994 - Springer-Verlag, London

Language

English

Word Count

90,500 words, Guess

Page Count

362 pages

Identifiers

  • Open LibraryOL1414290M
  • ISBN-10038719813X
  • OCLC Control Number29523091
  • Library of Congress Control Number93023655
  • Goodreads4494364

Classifications

  • DDC005.1/2
  • LCCQA76.76.D47 P776 1994
  • DDC005.1

Subjects

Series Statement

  • Formal approaches to computing and information technology

Other Editions

  • Proof in VDM: a practitioner's guideSpringer-Verlag1994-01-01

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!