Using Z : specification, refinement, and proof

Author(s)

• Woodcock, James
• Davies, Jim

Bibliographic Information

Using Z : specification, refinement, and proof

Jim Woodcock and Jim Davies

（Prentice-Hall International series in computer science）

Prentice Hall, 1996

Note

Includes index

Some printings published: Harlow ; Tokyo : Pearson Education

Details

• NCID: BA27865222
• ISBN:
  • 0139484728
• LCCN: 96004347
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: London ; Tokyo
• Pages/Volumes: xvi, 386 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.73.Z2
  • DC20 : 005.1/2
• Subject Headings:
  • LCSH : Z (Computer program language)
• Parent Bibliography ID:
  • BA00010507