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.
נושאים:

CARM 1 Store

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