[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 1101 || Boolean formalism and explanations
- 作者Wirsing, Martin; Nivat, Maurice
- 文件大小1128.59KB
- 发表时间1996
- DOI10.1007/bfb0014327
- 页码351-374
[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