Formal methods of program verification and specification

Opis bibliograficzny
Kolejni autorzy:	Berg, H. K.
Format:	Książka
Język:	English
Wydane:	Englewood Cliffs, N.J. Prentice-Hall c1982.
Hasła przedmiotowe:	Computer programs > Specification. Computer programs > Verification.