Program Verification
Nissim Francezหมวดหมู่:
ปี:
1992
สำนักพิมพ์:
Addison-Wesley
ภาษา:
english
จำนวนหน้า:
89
ISBN 10:
0201416085
ISBN 13:
9780201416084
ไฟล์:
PDF, 7.67 MB
IPFS:
,
english, 1992