Axiomatising the Logic of Computer Programming

Goldblatt, R.

Details

Published by: Springer

Publication Date: 1982-03-01

Format: Paperback

ISBN-13: 9783540112105

DOI: 10.1007/BFb0022481

Dimensions: 235.0cm x155.0cm

Pages: 304.0