Formal methods of program verification

other_versions_link
Sonraí Bibleagrafaíochta
Príomhúdar: Berg,H.K
Formáid: Printed Book
Teanga:English
Foilsithe: New Jersey Prentice-Hall
Cur Síos
Cur Síos Fisiciúil:ic,207
ISBN:0133288072

Míreanna Comhchosúla