Amazon cover image
Image from Amazon.com

Axiomatising the logic of computer programming Goldblatt, Robert

By: Material type: TextTextSeries: Lecture notes in computer science, no.130Publication details: Berlin Springer-Verlag 1982 Description: xi, 304 pISBN:
  • 3540112103
Subject(s): DDC classification:
  • 519.92
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)

Powered by Koha