Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983
Krzysztof R. Apt (auth.), Edmund Clarke, Dexter Kozen (eds.)კატეგორია:
წელი:
1984
გამოცემა:
1
გამომცემლობა:
Springer-Verlag Berlin Heidelberg
ენა:
english
გვერდები:
531
ISBN 10:
3540387757
ISBN 13:
9783540387756
სერია:
Lecture Notes in Computer Science 164
ფაილი:
PDF, 14.67 MB
IPFS:
,
english, 1984
ამ წიგნის ჩამოტვირთვა მიუწვდომელია საავტორო უფლებების მფლობელის საჩივრის გამო