Web Directory
 

The Way of Z: Practical Programming with Formal Methods

  Link Details for: The Way of Z: Practical Programming with Formal Methods
Link Title: The Way of Z: Practical Programming with Formal Methods Open in a new window
Link URL: http://staff.washington.edu/jon/z-book/
Link Details: By Jonathan Jacky; Cambridge University Press, 1997, ISBN 0521559766. Tutorial for experienced professionals, serious students of programming, software engineering, case studies focusing safety-critical systems.
Category: Top : Computers : Programming : Languages : Z : Books
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
The Way of Z: Practical Programming with Formal Methods