Formal specification : techniques and applications

Formal specification : techniques and applications

Enregistré dans:
Détails bibliographiques
Auteur principal : Nissanke Nimal (Auteur)
Format : Livre
Langue : anglais
Titre complet : Formal specification : techniques and applications / Nimal Nissanke
Publié : London, Berlin, Paris : Springer , 1999
Description matérielle : 1 vol. (XX-295 p.)
Chargement en cours