Trends in Formal Specification Methods based on Algebraic Specification Techniques -from Abstract Data Types to Software Processes : A Personal Perspective-
収録刊行物
-
- Proceedings of the International Conference of Information Technology to Commemorating the 30th Anniversary of the Information Processing Society of Japan (Info-Japan '90)
-
Proceedings of the International Conference of Information Technology to Commemorating the 30th Anniversary of the Information Processing Society of Japan (Info-Japan '90) 59-66, 1990
- Tweet
詳細情報
-
- CRID
- 1573950398812200064
-
- NII論文ID
- 10000069940
-
- データソース種別
-
- CiNii Articles