Formal methods of program verification

other_versions_link
Podrobná bibliografie
Hlavní autor: Berg,H.K
Médium: Printed Book
Jazyk:English
Vydáno: New Jersey Prentice-Hall
Popis
Fyzický popis:ic,207
ISBN:0133288072

Podobné jednotky