An introduction to formal program verification /

שמור ב:

מידע ביבליוגרפי
מחבר ראשי:	Mili, Ali
פורמט:	ספר
שפה:	English
יצא לאור:	New York : Van Nostrand Reinhold Co., c1985.
נושאים:	Computer software > Verification.

תיאור
תיאור פיזי:	xii, 291 p. ; 24 cm.
ביבליוגרפיה:	Includes bibliographies and index.
ISBN:	0442263228

פריטים דומים