Normal view MARC view ISBD view

Axiomatising the logic of computer programming

By: Goldblatt, Robert.
Material type: materialTypeLabelBookSeries: Lecture notes in computer science, no.130. Publisher: Berlin Springer-Verlag 1982Description: xi, 304 p.ISBN: 3540112103.Subject(s): Programming languages (Electronic computers) - Semantics | Proof theoryDDC classification: 519.92
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Item type Current location Item location Call number Status Date due Barcode
Books Vikram Sarabhai Library
KLMDC 519.92 G6A9 (Browse shelf) Available 97725

There are no comments for this item.

Log in to your account to post a comment.

Powered by Koha