Formal methods of program verification

other_versions_link
Bibliografische gegevens
Hoofdauteur: Berg,H.K
Formaat: Printed Book
Taal:English
Gepubliceerd in: New Jersey Prentice-Hall
Omschrijving
Fysieke beschrijving:ic,207
ISBN:0133288072

Gelijkaardige items