1763 results in Software Engineering and Development
2 - Logic
- from Part 1 - Fundamentals
-
- Book:
- Practical Formal Software Engineering
- Published online:
- 05 June 2012
- Print publication:
- 19 January 2009, pp 24-42
-
- Chapter
- Export citation
17 - Multiple Threads
- from Part 3 - Practice
-
- Book:
- Practical Formal Software Engineering
- Published online:
- 05 June 2012
- Print publication:
- 19 January 2009, pp 298-316
-
- Chapter
- Export citation
15 - Digital Geometry
- from Part 3 - Practice
-
- Book:
- Practical Formal Software Engineering
- Published online:
- 05 June 2012
- Print publication:
- 19 January 2009, pp 261-279
-
- Chapter
- Export citation
7 - Z
- from Part 2 - Language
-
- Book:
- Practical Formal Software Engineering
- Published online:
- 05 June 2012
- Print publication:
- 19 January 2009, pp 122-140
-
- Chapter
- Export citation
6 - OCL
- from Part 2 - Language
-
- Book:
- Practical Formal Software Engineering
- Published online:
- 05 June 2012
- Print publication:
- 19 January 2009, pp 103-121
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Practical Formal Software Engineering
- Published online:
- 05 June 2012
- Print publication:
- 19 January 2009, pp i-vi
-
- Chapter
- Export citation
10 - Game Exercises
- from Part 2 - Language
-
- Book:
- Practical Formal Software Engineering
- Published online:
- 05 June 2012
- Print publication:
- 19 January 2009, pp 177-184
-
- Chapter
- Export citation
8 - Logic
- from Part 2 - Language
-
- Book:
- Practical Formal Software Engineering
- Published online:
- 05 June 2012
- Print publication:
- 19 January 2009, pp 141-159
-
- Chapter
- Export citation
Part 1 - Fundamentals
-
- Book:
- Practical Formal Software Engineering
- Published online:
- 05 June 2012
- Print publication:
- 19 January 2009, pp 1-2
-
- Chapter
- Export citation
To the Student
-
- Book:
- Practical Formal Software Engineering
- Published online:
- 05 June 2012
- Print publication:
- 19 January 2009, pp xxxiii-xxxiv
-
- Chapter
- Export citation
Preface
-
- Book:
- Practical Formal Software Engineering
- Published online:
- 05 June 2012
- Print publication:
- 19 January 2009, pp xvii-xxviii
-
- Chapter
- Export citation
12 - State Transformation
- from Part 3 - Practice
-
- Book:
- Practical Formal Software Engineering
- Published online:
- 05 June 2012
- Print publication:
- 19 January 2009, pp 206-220
-
- Chapter
- Export citation
13 - Plain Text
- from Part 3 - Practice
-
- Book:
- Practical Formal Software Engineering
- Published online:
- 05 June 2012
- Print publication:
- 19 January 2009, pp 221-241
-
- Chapter
- Export citation
Part 2 - Language
-
- Book:
- Practical Formal Software Engineering
- Published online:
- 05 June 2012
- Print publication:
- 19 January 2009, pp 83-84
-
- Chapter
- Export citation
11 - Implementation
- from Part 3 - Practice
-
- Book:
- Practical Formal Software Engineering
- Published online:
- 05 June 2012
- Print publication:
- 19 January 2009, pp 187-205
-
- Chapter
- Export citation
4 - Diagrams
- from Part 1 - Fundamentals
-
- Book:
- Practical Formal Software Engineering
- Published online:
- 05 June 2012
- Print publication:
- 19 January 2009, pp 65-82
-
- Chapter
- Export citation
Acknowledgments
-
- Book:
- Practical Formal Software Engineering
- Published online:
- 05 June 2012
- Print publication:
- 19 January 2009, pp xiii-xiv
-
- Chapter
- Export citation
1 - Arithmetic
- from Part 1 - Fundamentals
-
- Book:
- Practical Formal Software Engineering
- Published online:
- 05 June 2012
- Print publication:
- 19 January 2009, pp 3-23
-
- Chapter
- Export citation
9 - Java
- from Part 2 - Language
-
- Book:
- Practical Formal Software Engineering
- Published online:
- 05 June 2012
- Print publication:
- 19 January 2009, pp 160-176
-
- Chapter
- Export citation
14 - Natural Language
- from Part 3 - Practice
-
- Book:
- Practical Formal Software Engineering
- Published online:
- 05 June 2012
- Print publication:
- 19 January 2009, pp 242-260
-
- Chapter
- Export citation