5571 results in Programming Languages and Applied Logic
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
1 - Specifying Algorithms
-
- Book:
- Specifying Software
- Published online:
- 05 June 2012
- Print publication:
- 25 February 2002, pp 15-30
-
- Chapter
- Export citation
11 - Parsing
-
- Book:
- Specifying Software
- Published online:
- 05 June 2012
- Print publication:
- 25 February 2002, pp 227-242
-
- Chapter
- Export citation
Modal Logic
-
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001
2 - Models
-
- Book:
- Modal Logic
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001, pp 50-122
-
- Chapter
- Export citation
3 - Frames
-
- Book:
- Modal Logic
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001, pp 123-187
-
- Chapter
- Export citation