Formal methods of program verification

other_versions_link
Xehetasun bibliografikoak
Egile nagusia: Berg,H.K
Formatua: Printed Book
Hizkuntza:English
Argitaratua: New Jersey Prentice-Hall
Deskribapena
Deskribapen fisikoa:ic,207
ISBN:0133288072

Antzeko izenburuak