Formal methods
Subtitle: theory and practice
By: edited by P.N. Scharbach
Contributors: Scharbach, P. N
Publisher: CRC Press
Published: 1989
Place of publication: Boca Raton, Fla
Language: eng
Number of pages: 164
Subjects: Computer programming; Logic, Symbolic and mathematical
Notes: Includes bibliographical references and index