Search Results - Prope*

Refine Results
  1. 4141
  2. 4142
  3. 4143
  4. 4144
  5. 4145
  6. 4146

    Rigorous software development an introduction to program verification

    Published 2011
    Table of Contents: “…Introduction -- An overview of formal methods tools and techniques -- Propositional logic -- First-order logic -- Hoare logic -- Generating verification conditions -- Safety properties -- Procedures and contracts -- Specifying C programs -- Verifying C…”
    Click Here to View Status and Holdings.
    Book
  7. 4147

    Thriving systems theory and metaphor-driven modeling by Waguespack, Leslie J.

    Published 2010
    Table of Contents: “…Introduction -- Christopher Alexander's nature of order -- Wholeness and center properties mapped to modeling -- Achieving versus observing strength in choice properties -- Building life into information systems -- A vision of thriving systems -- Metaph…”
    Click Here to View Status and Holdings.
    Book
  8. 4148
  9. 4149
  10. 4150
  11. 4151
  12. 4152
  13. 4153
  14. 4154
  15. 4155
  16. 4156
  17. 4157
  18. 4158
  19. 4159
  20. 4160