Archives

Archive for the ‘Formal Methods’ Category

The Z Notation: A Reference Manual, Second Edition

Wednesday, April 8th, 2009 at 03:19 | No comments
Categories: Formal Methods

The Design of Functional Programs – A Calculational Approach

Wednesday, April 8th, 2009 at 03:15 | No comments

The Craft of Programming

Wednesday, April 8th, 2009 at 03:14 | No comments

Systematic Software Development Using VDM, 2nd Edition

Wednesday, April 8th, 2009 at 03:12 | No comments

Syntax and Semantics of Programming Languages, A Laboratory Based Approach

Wednesday, April 8th, 2009 at 03:11 | No comments

Software Vulnerability Analysis

Wednesday, April 8th, 2009 at 03:10 | No comments
Categories: Formal Methods

Semantics with Applications: A Formal Introduction

Wednesday, April 8th, 2009 at 03:07 | No comments
Categories: Formal Methods

How to Think About Algorithms – Loop Invariants and Recursion

Wednesday, April 8th, 2009 at 03:00 | No comments

Formal Specification and Documentation using Z: A Case Study Approach

Wednesday, April 8th, 2009 at 02:58 | No comments
Categories: Formal Methods

Denotational Semantics: A Methodology for Language Development

Wednesday, April 8th, 2009 at 02:48 | No comments
Categories: Formal Methods

Concepts, Techniques, and Models of Computer Programming

Wednesday, April 8th, 2009 at 02:44 | No comments

Communicating Sequential Processes

Wednesday, April 8th, 2009 at 02:42 | No comments
Categories: Formal Methods

Case Studies in Systematic Software Development

Wednesday, April 8th, 2009 at 02:40 | No comments

Automated Theorem Proving

Wednesday, April 8th, 2009 at 02:39 | No comments
Categories: Formal Methods

A Practical Theory of Programming, Second Edition

Wednesday, April 8th, 2009 at 02:36 | No comments