Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Author
Krzysztof R. Apt, Ernst-Rüdiger Olderog (auth.), Dexter Kozen (eds.)
Publisher
Springer-Verlag Berlin Heidelberg
Language
English
Edition
1
Year
1982
Page
429
ISBN
978-3-540-11212-9,978-3-540-39047-3
File Type
pdf
File Size
11.0 MiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book