Mathematically provable software
Subtitle: a major new technology.
Series: Educational series / Higher Order Software -- No.5, category 2; Educational series (Higher Order Software) -- no.5, category 2.
Publisher: Higher Order Software
Published: 1982
Place of publication: Cambridge, MA
Language: eng