Formal methods of program verification

other_versions_link
Détails bibliographiques
Auteur principal: Berg,H.K
Format: Printed Book
Langue:English
Publié: New Jersey Prentice-Hall
Description
Description matérielle:ic,207
ISBN:0133288072

Documents similaires