Formal methods of program verification and specification

Bibliografski detalji
Daljnji autori:	Berg, H. K.
Format:	Knjiga
Jezik:	English
Izdano:	Englewood Cliffs, N.J. Prentice-Hall c1982.
Teme:	Computer programs > Specification. Computer programs > Verification.