An introduction to formal specification an Z

Bibliographic Details
Main Authors: Potter Ben (Author), Sinclair Jane (Author), Till David (Author)
Format: Book
Language:English
Published: Prentice Hall
Edition:2nd ed.