Introduction to Formal Specification and Z

An Introduction to Formal Specification With Z and Vdm

Computer Science: A Modern Introduction (Prent... by Goldschlager, Les Paperback

Introduction Formal Specification And Z (... by Potter, Ben Paperback / softback

Formal Specification using Z (Grassroots) by Lightfoot, David Paperback Book The

Formal Specification Using Z (Computer Science ... by Lightfoot, David Paperback

Introduction to Formal Specification and Z by

An Introduction to Formal Specification and Z (Prentice-Hall International Serie