UB München OPACplus
SolrQueryCompletionProxy
QueryCompletionProxy
Zurück zur Trefferliste

Axiomatising the logic of computer programming

Online Katalog der Universitätsbibliothek der LMU München (1/1)

Ablegen in:
Anzeige:
 

Axiomatising the logic of computer programming

Autor: Goldblatt, Robert
Ort, Verlag, Jahr: Berlin [u.a.], Springer, 1982
Umfang: XI, 304 S.
ISBN/ISSN/ISMN 3540112103 , 0387112103
Schlagwortketten: Axiomatik / Programmierlogik
Schlagwortketten: Programmiersprache / Semantik / Beweistheorie
Schlagwortketten: Programmierung / Logik
Schlagwortketten: Programmiersprache / Syntax
Schlagwortketten: Programmiersprache / Semantik
Lecture notes in computer science:   Alle Einzelbände

  • Exemplare
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=holding_tab
  • Bestellung/Vormerkung
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
  • mehr zum Titel
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
Autor:Goldblatt, Robert
Titel:Axiomatising the logic of computer programming
Von:Robert Goldblatt
Ort:Berlin [u.a.]
Verlag:Springer
Jahr:1982
Umfang:XI, 304 S.
Illustrationsangabe:graph. Darst.
ISBN/ISSN/ISMN:3540112103
ISBN/ISSN/ISMN:0387112103
Anmerkungen:Umschlagt.: Golblatt, Robert: Axiomatising the logic of computer programming
Reihe:Lecture notes in computer science
Bandangabe:130
Systematik:SS 4800
Systematik:CC 2500
BV-Nummer:BV000026026