Computers » Programming » Languages » Z (index): ABC Directory

search for

Category: Computers » Programming » Languages » Z

SUBMIT A SITE | Suggest A Category | Search Category

	Z	Records 1-1 of 1
		Order by Date Added \| Popularity \| Alphabet

Using Z: Specification, Refinement, and Proof (Popularity:

)
http://www.usingz.com/
By Jim Woodcock, Jim Davies; Prentice Hall, 1996, ISBN 0139484728. Treats formal techniques and methods for software engineering via Z. ...