Browse Categories
Arts
Business
Computers
Games
Health
Home
Kids and Teens
News
Recreation
Reference
Regional
Science
Shopping
Society
Sports
About Nomoz
Contact Us
Options:
Directory
Entire Web
Top
:
Computers
:
Programming
:
Languages
:
Z
:
Books
:
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
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:
ScreenShot: