Advances in theory and formal methods of computing
proceedings of the Third Imperial College Workshop
Livre Ecrit par: Edalat, A. ; Publié en: 1996
Edition:
Washingto:
Imperial College Press
Langue:
Anglais
Collation:
330 p. couv. ill. en coul.
;22 cm.
ISBN: 1860940315
Mots clés:
Logiciels
:Développement
:Congrès
Génie logiciel
:Congrès
Systèmes, Conception de
:Congrès
