Logics of Programs: Lecture Notes in Computer Science (Lecture Notes in Computer Science, 164) - Softcover

Logics Of Programs Workshop (1983 Carnegie Mellon University)

 
9780387128962: Logics of Programs: Lecture Notes in Computer Science (Lecture Notes in Computer Science, 164)
Softcover
ISBN 10: 0387128964 ISBN 13: 9780387128962
Publisher: Springer Verlag, 1984
Publisher
Springer Verlag
Publication date
1984
Language
English
ISBN 10 
0387128964
ISBN 13 
9780387128962
Binding
Paperback
Number of pages
527

Other Popular Editions of the Same Title

9780387112121: Logics of Programs: Lecture Notes in Computer Science (Lecture Notes in Computer Science, 131)

Featured Edition

ISBN 10:  038711212X ISBN 13:  9780387112121
Publisher: Springer Verlag, 1982
Softcover