Using Z : specification, refinement, and proof

Woodcock, Jim; Davies., Jim

URI: http://10.250.8.41:8080/xmlui/handle/123456789/41010

Date: 1996

Show full item record

Files in this item

Name: MCS37042- Using Z ...

Size: 1.238Mb

Format: PDF

This item appears in the following Collection(s)

BE Software Engineering [22]

Search DSpace

Advanced Search

Browse

All of DSpace
This Collection
- By Issue Date
- Authors
- Titles
- Subjects

My Account