Logic of Programs: Workshop, ETH Zürich, May–July 1979

Name: Logic of Programs: Workshop, ETH Zürich, May–July 1979
ISBN: 9783540386315

Dexter Kozen (auth.), Erwin Engeler (eds.)

0 / 0

How much do you like this book?

What’s the quality of the file?

Download the book for quality assessment

What’s the quality of the downloaded files?

Categories:

Year:

1981

Edition:

Publisher:

Springer-Verlag Berlin Heidelberg

Language:

english

Pages:

245

ISBN 10:

3540386319

ISBN 13:

9783540386315

Series:

Lecture Notes in Computer Science 125

File:

PDF, 5.78 MB

IPFS:

english, 1981

This book isn't available for download due to the complaint of the copyright holder

Beware of he who would deny you access to information, for in his heart he dreams himself your master

— Pravin Lal

Most frequently terms