The spine of software : designing provably correct software--theory and practice, or, A mathematical introduction to the semantics of computer programs /

שמור ב:

מידע ביבליוגרפי
מחבר ראשי:	Baber, Robert Laurence
פורמט:	ספר
שפה:	English
יצא לאור:	Chichester [West Sussex] ; New York : Wiley, c1988.
נושאים:	Computer software > Development. Computer programming.

פרטי מלאי ספרים מ CARM 1 Store
סימן המיקום:	A2:AK01B0 B05273
עותק 1	זמין ביצוע הזמנה

פריטים דומים