A calculus of total correctness for communicating processes /

שמור ב:

מידע ביבליוגרפי
מחבר ראשי:	Hoare, C. A. R. (Charles Antony Richard)
מחבר תאגידי:	Oxford University Computing Laboratory. Programming Research Group
פורמט:	ספר
שפה:	English
יצא לאור:	Oxford : Oxford University Computing Laboratory, Programming Research Group, 1981.
סדרה:	Technical monograph (Oxford University Computing Laboratory. Programming Research Group) ; PRG-23.
נושאים:	Machine theory. Formal languages.

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

פריטים דומים