DaftarIsitemplate

Call Number

005.113 woo u

Title

Using z specification, refinement, and proof/Jim Woodcock, Jim Davies

Author

Woodcock, Jim;

Publisher

London Prentice-Hall 1996

Subject

(Computer program language)

Location

FASILKOM-UI;