Axiomatising the Logic of Computer Programming
| Author: R. Goldblatt |
| Publisher: Springer |
| Publication Date: Mar 01, 1982 |
| Number of Pages: 304 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3540112103 |
| ISBN-13: 9783540112105 |
Related Products
