Custom cover image
Custom cover image

Axiomatising the logic of computer programming / Robert Goldblatt

By: Resource type: Ressourcentyp: BuchBookLanguage: German, English Series: Lecture notes in computer science ; 130Publisher: Berlin ; Heidelberg [u.a.] : Springer, 1982Description: XI, 304 S : graph. DarstISBN:
  • 3540112103
  • 0387112103
Subject(s): Additional physical formats: Online-Ausg.: Axiomatising the logic of computer programming. Berlin [u.a.] : Springer, 1982. Online-Ressource (XI, 304 S.) | Erscheint auch als: Axiomatising the Logic of Computer Programming. Online-Ausgabe Berlin, Heidelberg : Springer Berlin Heidelberg, 1982. Online-RessourceDDC classification:
  • 519.4 19
RVK: RVK: SS 4800LOC classification:
  • QA76.7
PPN: PPN: 024237752
Holdings
Item type Home library Collection Shelving location Call number Status Date due Barcode
Handbibliothek Fakultät für Informatik D.Gol Handbibliothek (Ausleihe und Einsicht nicht möglich) D.Gol(05419) Checked out Ausleihe und Einsicht nicht möglich 15.01.2034 000276683090
Total holds: 0
KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT