Contributions

  • Vickers, Trevor - Contributor

Publication

1994 - Springer London, London, England

Language

English

Word Count

39,750 words, Guess

Page Count

159 pages

Physical Format

Electronic resource

Identifiers

and 1 more

Classifications

  • LCCQA299.6-433

Subjects

Series Statement

  • Formal Approaches to Computing and Information Technology (FACIT)

Links

Other Editions

  • On the Refinement CalculusElectronic resourceSpringer London1994-01-01

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!