[Lecture Notes in Computer Science] Recent Trends in Data Type Specification Volume 906 || A lazy approach to partial algebras
- 作者Astesiano, Egidio; Reggio, Gianna; Tarlecki, Andrzej
- 文件大小974.10KB
- 发表时间1995
- DOI10.1007/bfb0014428
- 页码188-202
[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 1101 || Incremental formalizationWirsing, Martin; Nivat, Maurice · 1996
[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 1101 || Algebraic view specificationWirsing, Martin; Nivat, Maurice · 1996
[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 1101 || CtCoq: A system presentationWirsing, Martin; Nivat, Maurice · 1996
[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 1101 || The discrete time toolbusWirsing, Martin; Nivat, Maurice · 1996
[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 1101 || Boolean formalism and explanationsWirsing, Martin; Nivat, Maurice · 1996
[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 1101 || Towards heterogeneous formal specificationsWirsing, Martin; Nivat, Maurice · 1996
[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 1101 || Preprocessing for invariant validationWirsing, Martin; Nivat, Maurice · 1996
[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 1101 || Proplane: A specification development environmentWirsing, Martin; Nivat, Maurice · 1996