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

Name: Axiomatising the Logic of Computer Programming (Lecture Notes in Computer Science)
Brand: Springer, Verlag
SKU: 9780387112107
Rating: 4 (5 reviews)
ISBN: 9780387112107

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

ISBN-10:

0387112103

ISBN-13:

9780387112107

Author(s): Goldblatt, Robert

Edition: n

Released: Jan 01, 1982

Publisher: Springer, Verlag

Format: Paperback, 304 pages

to view more data

Sell this Book

Buy this Book

Find in Library

Description:

Book details unavailable.

‌

We're an Amazon Associate. We earn from qualifying purchases at Amazon and all stores listed here.