Program construction and verification /

other_versions_link
Opis bibliograficzny
1. autor: Backhouse, Roland C .
Format: Printed Book
Język:English
Wydane: London : Prentice -Hall International, Inc. , 1986.
Hasła przedmiotowe:
Program verification

Podobne zapisy