Carroll Morgan
On the Refinement Calculus
Carroll Morgan · 1994
פרטי הספר
- שנה
- 1994
- שפה
- English
- סדרה
- Formal Approaches to Computing and Information Technology (FACIT)
- הוצאה
- Springer London
- מהדורות
- 4
- עמודים
- 159
- ISBN
- 9781447132738
מקור הנתונים: Wikidata