Formal specification : techniques and applications

Formal specification : techniques and applications

Saved in:
Bibliographic Details
Main Author : Nissanke Nimal (Auteur)
Format : Book
Language : anglais
Title statement : Formal specification : techniques and applications / Nimal Nissanke
Published : London, Berlin, Paris : Springer , 1999
Physical Description : 1 vol. (XX-295 p.)
Loading