X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
back to result list
  • 1
    Book
    Book
    Axiomatising the logic of computer programming (1982)
    Berlin : Springer
    Details
    UID:
    gbv_024237752
    Format: XI, 304 S , graph. Darst.
    ISBN: 3540112103 , 0387112103
    Series Statement: Lecture notes in computer science 130
    Note: Literaturverz. S. 291 - 298
    Additional Edition: Online-Ausg. Goldblatt, Robert Axiomatising the logic of computer programming Berlin [u.a.] : Springer, 1982 ISBN 9783540390381
    Additional Edition: Erscheint auch als Online-Ausgabe Goldblatt, R. Axiomatising the Logic of Computer Programming Berlin, Heidelberg : Springer Berlin Heidelberg, 1982 ISBN 9783540390381
    Language: German
    Subjects: Computer Science
    RVK:
    SS 4800
    Keywords: Axiomatik ; Programmierlogik ; Programmiersprache ; Semantik ; Beweistheorie ; Programmierlogik ; Programmiersprache ; Syntax ; Programmiersprache ; Semantik
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    Stabi Berlin get availability status
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages