Axiomatising the Logic of Computer Programming - Lecture Notes in Computer Science - R. Goldblatt - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540112105 - March 1, 1982
In case cover and title do not match, the title is correct

Axiomatising the Logic of Computer Programming - Lecture Notes in Computer Science 1982 edition

Price
A$ 42.49
excl. VAT

Ordered from remote warehouse

Expected delivery Jan 12 - 22, 2026
Christmas presents can be returned until 31 January
Add to your iMusic wish list

304 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released March 1, 1982
ISBN13 9783540112105
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 304
Dimensions 156 × 234 × 17 mm   ·   449 g
Language English