Program construction and verification /

other_versions_link
Bibliografische gegevens
Hoofdauteur: Backhouse, Roland C .
Formaat: Printed Book
Taal:English
Gepubliceerd in: London : Prentice -Hall International, Inc. , 1986.
Onderwerpen:
Program verification

Gelijkaardige items