Using Z: Specification, Refinement, and Proof by Jim Woodcock, Jim Davies
Using Z: Specification, Refinement, and Proof

Jim Woodcock, Jim Davies

Using Z: Specification, Refinement, and Proof

Jim Woodcock, Jim Davies

missing page info Add in missing page information first pub 1996 (editions)

challenging informative reflective medium-paced
Powered by AI (Beta)
Loading...

Description

This book contains enough mnaterial for three complete courses of study. It provides an introduction to the world of logic, sets and relations. It explains the use of the Znotation in the specification of realistic systems. It shows how Z specific...

Read more

Community Reviews

Loading...

Content Warnings

Loading...