Chargement en cours...

Formal methods of program verification

Détails bibliographiques
Auteur principal: Berg,H.K
Format: Printed Book
Langue:English
Publié: New Jersey Prentice-Hall
Search Result 1
par Berg,H.K
Printed Book