Axiomatising the Logic of Computer Programming - Lecture Notes in Computer Science 130 (Paperback)R. Goldblatt (author)
- We can order this
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 304
Weight: 1000 g
Dimensions: 235 x 155 x 17 mm
Edition: 1982 ed.
You may also be interested in...
Please sign in to write a review