Introduction to Formal Specification and Z

Z: An Introduction to Formal Methods by Antoni Diller (English) Paperback Book

Introduction to Formal - Paperback, by Potter Ben; Sinclair - Good j

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

Introduction Formal Specification And Z (2nd Edition) (Prentice-

Introduction to Automata Theory, Languages, and Computation (2nd Edition) by Ho

Film and Culture Ser.: Film Studies: An Introduction by Ed. Sikov 2nd Edition

Metaphor: A Practical Introduction, 2nd Edition by Kovecses, Zoltan