Formal methods : theory and practice /

Bibliographic Details
Other Authors:	Scharbach, P. N.
Format:	Book
Language:	English
Published:	Boca Raton, Fla. : CRC Press, 1989.
Subjects:	Computer programs > Verification. Computer programs > Specifications. Electronic data processing > Standards. Electronic data processing > Structured techniques. Logic, Symbolic and mathematical.

Remote Storage