6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
6 - Data Representation: Additional Examples
-
- Book:
- Specifying Software
- Published online:
- 05 June 2012
- Print publication:
- 25 February 2002, pp 125-154
-
- Chapter
- Export citation
2 - Verifying Algorithms: Basic Techniques
-
- Book:
- Specifying Software
- Published online:
- 05 June 2012
- Print publication:
- 25 February 2002, pp 31-60
-
- Chapter
- Export citation
Introduction
-
- Book:
- Specifying Software
- Published online:
- 05 June 2012
- Print publication:
- 25 February 2002, pp 1-10
-
- Chapter
- Export citation
Introduction to Part B
-
- Book:
- Specifying Software
- Published online:
- 05 June 2012
- Print publication:
- 25 February 2002, pp 109-110
-
- Chapter
- Export citation
10 - Context-Free Languages
-
- Book:
- Specifying Software
- Published online:
- 05 June 2012
- Print publication:
- 25 February 2002, pp 207-226
-
- Chapter
- Export citation
7 - Basic Concepts
-
- Book:
- Specifying Software
- Published online:
- 05 June 2012
- Print publication:
- 25 February 2002, pp 159-168
-
- Chapter
- Export citation
A - Programming Language Reference
-
- Book:
- Specifying Software
- Published online:
- 05 June 2012
- Print publication:
- 25 February 2002, pp 257-278
-
- Chapter
- Export citation
C - Language Recognizers
-
- Book:
- Specifying Software
- Published online:
- 05 June 2012
- Print publication:
- 25 February 2002, pp 155-156
-
- Chapter
- Export citation
Contents
-
- Book:
- Specifying Software
- Published online:
- 05 June 2012
- Print publication:
- 25 February 2002, pp v-viii
-
- Chapter
- Export citation
D - Unimplementable Specifications
-
- Book:
- Specifying Software
- Published online:
- 05 June 2012
- Print publication:
- 25 February 2002, pp 243-244
-
- Chapter
- Export citation
5 - Data Representation: A Case Study
-
- Book:
- Specifying Software
- Published online:
- 05 June 2012
- Print publication:
- 25 February 2002, pp 111-124
-
- Chapter
- Export citation
8 - State-Transition Diagrams
-
- Book:
- Specifying Software
- Published online:
- 05 June 2012
- Print publication:
- 25 February 2002, pp 169-190
-
- Chapter
- Export citation
4 - Additional Verification Techniques
-
- Book:
- Specifying Software
- Published online:
- 05 June 2012
- Print publication:
- 25 February 2002, pp 81-106
-
- Chapter
- Export citation
Preface
-
- Book:
- Specifying Software
- Published online:
- 05 June 2012
- Print publication:
- 25 February 2002, pp ix-xii
-
- Chapter
- Export citation
Introduction to Part C
-
- Book:
- Specifying Software
- Published online:
- 05 June 2012
- Print publication:
- 25 February 2002, pp 157-158
-
- Chapter
- Export citation
3 - Verifying Algorithms: Some Examples
-
- Book:
- Specifying Software
- Published online:
- 05 June 2012
- Print publication:
- 25 February 2002, pp 61-80
-
- Chapter
- Export citation
B - Hints for Selected Exercises
-
- Book:
- Specifying Software
- Published online:
- 05 June 2012
- Print publication:
- 25 February 2002, pp 279-284
-
- Chapter
- Export citation
Introduction to Part D
-
- Book:
- Specifying Software
- Published online:
- 05 June 2012
- Print publication:
- 25 February 2002, pp 245-246
-
- Chapter
- Export citation
Index
-
- Book:
- Specifying Software
- Published online:
- 05 June 2012
- Print publication:
- 25 February 2002, pp 285-289
-
- Chapter
- Export citation
12 - A Taste of Computability Theory
-
- Book:
- Specifying Software
- Published online:
- 05 June 2012
- Print publication:
- 25 February 2002, pp 247-254
-
- Chapter
- Export citation