Axiomatising the Logic of Computer Programming (Lecture Notes in Computer Science)

Axiomatising the Logic of Computer Programming (Lecture Notes in Computer Science)

by R.Goldblatt (Author)

$25.51

Quantity

10 in stock

More Information

Format: Paperback
Pages: 304
Publisher: Springer
Published: 01 Mar 1982

ISBN 10: 3540112103
ISBN 13: 9783540112105
Book Overview: Springer Book Archives