Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983

Front Cover
E. Clarke, D. Kozen
Springer Berlin Heidelberg, Feb 1, 1984 - Computers - 531 pages

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Krzysztof R
1
de BARKER J I ZUCKER
18
J A BERGSTRA J I KLOP J V TUCKER
34
Copyright

29 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information