Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983
Krzysztof R. Apt (auth.), Edmund Clarke, Dexter Kozen (eds.)Kategorije:
Godina:
1984
Izdanje:
1
Izdavač:
Springer-Verlag Berlin Heidelberg
Jezik:
english
Strane:
531
ISBN 10:
3540387757
ISBN 13:
9783540387756
Serije:
Lecture Notes in Computer Science 164
Fajl:
PDF, 14.67 MB
IPFS:
,
english, 1984
Preuzimanje ove knjige nije dostupno zbog žalbe vlasnika autorskih prava