6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
Frontmatter
-
- Book:
- A Unifying Framework for Structured Analysis and Design Models
- Published online:
- 28 January 2010
- Print publication:
- 09 May 1991, pp i-iv
-
- Chapter
- Export citation
Bibliography
-
- Book:
- A Unifying Framework for Structured Analysis and Design Models
- Published online:
- 28 January 2010
- Print publication:
- 09 May 1991, pp 168-177
-
- Chapter
- Export citation
Chapter 7 - A Prototype System to Implement the Unifying Framework
-
- Book:
- A Unifying Framework for Structured Analysis and Design Models
- Published online:
- 28 January 2010
- Print publication:
- 09 May 1991, pp 115-165
-
- Chapter
- Export citation
Chapter 3 - A Comparison with Related Work
-
- Book:
- A Unifying Framework for Structured Analysis and Design Models
- Published online:
- 28 January 2010
- Print publication:
- 09 May 1991, pp 19-34
-
- Chapter
- Export citation
Contents
-
- Book:
- A Unifying Framework for Structured Analysis and Design Models
- Published online:
- 28 January 2010
- Print publication:
- 09 May 1991, pp v-vi
-
- Chapter
- Export citation
Index
-
- Book:
- A Unifying Framework for Structured Analysis and Design Models
- Published online:
- 28 January 2010
- Print publication:
- 09 May 1991, pp 178-179
-
- Chapter
- Export citation
Chapter 8 - Conclusion
-
- Book:
- A Unifying Framework for Structured Analysis and Design Models
- Published online:
- 28 January 2010
- Print publication:
- 09 May 1991, pp 166-167
-
- Chapter
- Export citation
Chapter 2 - Desirable Features of Systems Development Environments
-
- Book:
- A Unifying Framework for Structured Analysis and Design Models
- Published online:
- 28 January 2010
- Print publication:
- 09 May 1991, pp 4-18
-
- Chapter
- Export citation
List of Tables and Figures
-
- Book:
- A Unifying Framework for Structured Analysis and Design Models
- Published online:
- 28 January 2010
- Print publication:
- 09 May 1991, pp ix-xii
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97805213/91962/cover/9780521391962.gif)
A Unifying Framework for Structured Analysis and Design Models
- An Approach Using Initial Algebra Semantics and Category Theory
-
- Published online:
- 28 January 2010
- Print publication:
- 09 May 1991
Part 1 - Formal methods and verification
-
- Book:
- Theoretical Foundations of VLSI Design
- Published online:
- 06 November 2009
- Print publication:
- 13 December 1990, pp 63-64
-
- Chapter
- Export citation
4 - Verification of a systolic algorithm in process algebra
-
-
- Book:
- Theoretical Foundations of VLSI Design
- Published online:
- 06 November 2009
- Print publication:
- 13 December 1990, pp 139-158
-
- Chapter
- Export citation
Part 2 - Theory and methodology of design
-
- Book:
- Theoretical Foundations of VLSI Design
- Published online:
- 06 November 2009
- Print publication:
- 13 December 1990, pp 159-160
-
- Chapter
- Export citation
Preface
-
-
- Book:
- Theoretical Foundations of VLSI Design
- Published online:
- 06 November 2009
- Print publication:
- 13 December 1990, pp ix-x
-
- Chapter
- Export citation
Introduction
-
- Book:
- Theoretical Foundations of VLSI Design
- Published online:
- 06 November 2009
- Print publication:
- 13 December 1990, pp -
-
- Chapter
- Export citation
6 - Describing and reasoning about circuits using relations
-
-
- Book:
- Theoretical Foundations of VLSI Design
- Published online:
- 06 November 2009
- Print publication:
- 13 December 1990, pp 263-298
-
- Chapter
- Export citation
9 - Superpolynomial lower bounds on monotone network complexity
-
-
- Book:
- Theoretical Foundations of VLSI Design
- Published online:
- 06 November 2009
- Print publication:
- 13 December 1990, pp 403-438
-
- Chapter
- Export citation
Contents
-
- Book:
- Theoretical Foundations of VLSI Design
- Published online:
- 06 November 2009
- Print publication:
- 13 December 1990, pp v-vi
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Theoretical Foundations of VLSI Design
- Published online:
- 06 November 2009
- Print publication:
- 13 December 1990, pp i-iv
-
- Chapter
- Export citation
7 - The synthesis of VLSI signal processors: theory and example
-
-
- Book:
- Theoretical Foundations of VLSI Design
- Published online:
- 06 November 2009
- Print publication:
- 13 December 1990, pp 299-344
-
- Chapter
- Export citation