5570 results in Programming Languages and Applied Logic
7 - Sequences
-
- Book:
- Modelling Systems
- Published online:
- 03 February 2010
- Print publication:
- 11 June 2009, pp 121-136
-
- Chapter
- Export citation
11 - State-Based Modelling
-
- Book:
- Modelling Systems
- Published online:
- 03 February 2010
- Print publication:
- 11 June 2009, pp 189-202
-
- Chapter
- Export citation
8 - Mappings
-
- Book:
- Modelling Systems
- Published online:
- 03 February 2010
- Print publication:
- 11 June 2009, pp 137-156
-
- Chapter
- Export citation
13 - Using VDM in Practice
-
- Book:
- Modelling Systems
- Published online:
- 03 February 2010
- Print publication:
- 11 June 2009, pp 217-234
-
- Chapter
- Export citation
12 - Large-Scale Modelling
-
- Book:
- Modelling Systems
- Published online:
- 03 February 2010
- Print publication:
- 11 June 2009, pp 203-216
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Modelling Systems
- Published online:
- 03 February 2010
- Print publication:
- 11 June 2009, pp i-iv
-
- Chapter
- Export citation
4 - Describing System Properties Using Logical Expressions
-
- Book:
- Modelling Systems
- Published online:
- 03 February 2010
- Print publication:
- 11 June 2009, pp 55-76
-
- Chapter
- Export citation
Contents
-
- Book:
- Modelling Systems
- Published online:
- 03 February 2010
- Print publication:
- 11 June 2009, pp v-viii
-
- Chapter
- Export citation
Modelling Systems
- Practical Tools and Techniques in Software Development
-
- Published online:
- 03 February 2010
- Print publication:
- 11 June 2009
9 - Recursive Structures
-
- Book:
- Modelling Systems
- Published online:
- 03 February 2010
- Print publication:
- 11 June 2009, pp 157-170
-
- Chapter
- Export citation
Appendix B - Solutions to Exercises
-
- Book:
- Modelling Systems
- Published online:
- 03 February 2010
- Print publication:
- 11 June 2009, pp 263-276
-
- Chapter
- Export citation
5 - The Elements of a Formal Model
-
- Book:
- Modelling Systems
- Published online:
- 03 February 2010
- Print publication:
- 11 June 2009, pp 77-98
-
- Chapter
- Export citation
6 - Sets
-
- Book:
- Modelling Systems
- Published online:
- 03 February 2010
- Print publication:
- 11 June 2009, pp 99-120
-
- Chapter
- Export citation
2 - Constructing a Model
-
- Book:
- Modelling Systems
- Published online:
- 03 February 2010
- Print publication:
- 11 June 2009, pp 13-34
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Modelling Systems
- Published online:
- 03 February 2010
- Print publication:
- 11 June 2009, pp 277-282
-
- Chapter
- Export citation
3 - VDMTools Lite
-
- Book:
- Modelling Systems
- Published online:
- 03 February 2010
- Print publication:
- 11 June 2009, pp 35-54
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- Modelling Systems
- Published online:
- 03 February 2010
- Print publication:
- 11 June 2009, pp 1-12
-
- Chapter
- Export citation
Preface
-
- Book:
- Modelling Systems
- Published online:
- 03 February 2010
- Print publication:
- 11 June 2009, pp xi-xvi
-
- Chapter
- Export citation
Foreword
-
- Book:
- Modelling Systems
- Published online:
- 03 February 2010
- Print publication:
- 11 June 2009, pp ix-x
-
- Chapter
- Export citation
Appendix A - Language Guide
-
- Book:
- Modelling Systems
- Published online:
- 03 February 2010
- Print publication:
- 11 June 2009, pp 235-262
-
- Chapter
- Export citation