Campusbibliothek
Normale Ansicht MARC ISBD

Logics of programs 1979 ETH Zürich, May - July 1979

Materialtyp: TextTextSprache: Englisch Reihen: ; 125 | Lecture notes in computer science ; 125Gesamtaufnahme: Logics of programsVerlag: 1981Inhaltstyp:
  • Text
Medientyp:
  • ohne Hilfsmittel zu benutzen
Datenträgertyp:
  • Band
ISBN:
  • 3540111603
  • 0387111603
Genre/Form: Andere physische Formen: Online-Ausg.: Logic of ProgramsDDC-Klassifikation:
  • 001.64/25
Andere Klassifikation:
  • SS 4800
Online-Ressourcen: Andere Ausgaben: Online-Ausg.: / Engeler, E.: Logic of Programs
Exemplare
Medientyp Aktuelle Bibliothek Sammlung Standort Signatur Status Fälligkeitsdatum Barcode
Buch Buch Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) Campusbibliothek für Informatik und Mathematik (E2 3) Series (GF) LNCS 125 (Regal durchstöbern(Öffnet sich unterhalb)) Verfügbar 2000000000671

Engeler, E.: Logic of Programs

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha