Logics of Programs: Brooklyn, June 17-19, 1985

Parikh, Rohit

Details

Published by: Springer

Publication Date: 1985-06-01

Format: Paperback

ISBN-13: 9783540156482

DOI: 10.1007/3-540-15648-8

Dimensions: 235.0cm x155.0cm

Pages: 428.0