Formal specification using Z : a modelling approach /

Formal specification using Z : a modelling approach /

57

Bibliographic Details
Main Authors: 465694 Bottaci, Leonardo, Jones, John
Format:
Language:eng
Published: London : International Thomson Publishing, 1995
Subjects:
Z (Computer program language)

Similar Items