Axiomatising the Logic of Computer Programming (Lecture Notes in Computer Science)
by R. Goldblatt
ISBN 13: 9783540112105
Format: Paperback (304 pages) Publisher: Springer Published: 01 Mar 1982
Save for later