X
feed icon rss

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
zurück zur Trefferliste
  • 1
    Buch
    Buch
    Axiomatising the logic of computer programming (1982)
    Berlin : Springer
    Details
    UID:
    gbv_024237752
    Umfang: XI, 304 S , graph. Darst.
    ISBN: 3540112103 , 0387112103
    Serie: Lecture notes in computer science 130
    Anmerkung: Literaturverz. S. 291 - 298
    Weitere Ausg.: Online-Ausg. Goldblatt, Robert Axiomatising the logic of computer programming Berlin [u.a.] : Springer, 1982 ISBN 9783540390381
    Weitere Ausg.: Erscheint auch als Online-Ausgabe Goldblatt, R. Axiomatising the Logic of Computer Programming Berlin, Heidelberg : Springer Berlin Heidelberg, 1982 ISBN 9783540390381
    Sprache: Deutsch
    Fachgebiete: Informatik
    RVK:
    SS 4800
    Schlagwort(e): Axiomatik ; Programmierlogik ; Programmiersprache ; Semantik ; Beweistheorie ; Programmierlogik ; Programmiersprache ; Syntax ; Programmiersprache ; Semantik
    URL: Cover
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Buch
    Stabi Berlin get availability status
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie auf den KOBV Seiten zum Datenschutz