36 results on '"Larsen, Peter A."'
Search Results
2. Sequences
3. Mappings
4. Foreword
5. Preface
6. Recursive Structures
7. Bibliography
8. Introduction
9. Describing System Properties Using Logical Expressions
10. Sets
11. State-Based Modelling
12. Solutions to Exercises
13. Constructing a Model
14. Using VDM in Practice
15. VDMTools Lite
16. Validating Models
17. Subject Index.
18. Bibliography.
19. Language Guide.
20. Solutions to Exercises.
21. Using VDM in Practice.
22. Large-Scale Modelling.
23. State-Based Modelling.
24. The Elements of a Formal Model.
25. Recursive Structures.
26. Mappings.
27. Sequences.
28. Validating Models.
29. Describing System Properties Using Logical Expressions.
30. VDMTools Lite.
31. Constructing a Model.
32. Introduction.
33. Contents.
34. Frontmatter.
35. Preface.
36. Definitions Index.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.