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
R 465
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Mar 31 - Apr 7
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