Formal methods of program verification and specification

מידע ביבליוגרפי
מחברים אחרים:	Berg, H. K.
פורמט:	ספר
שפה:	English
יצא לאור:	Englewood Cliffs, N.J. Prentice-Hall c1982.
נושאים:	Computer programs > Specification. Computer programs > Verification.