Algebraic semantics of imperative programs
- 種類:
- 図書
- 責任表示:
- Joseph A. Goguen and Grant Malcolm
- 出版情報:
- Cambridge, Mass. : MIT Press, c1996
- 著者名:
- シリーズ名:
- Foundations of computing <BA07248970>
- ISBN:
- 9780262071727 [026207172X]
- 注記:
- Includes bibliographical references and index
類似資料:
Springer-Verlag |
MIT Press |
Cambridge University Press | |
Prentice Hall International | |
Van Nostrand Reinhold | |
Springer-Verlag | |
Springer |