Zum Inhalt springen Goldblatt, Robert [Verfasser:in] Axiomatising the logic of computer programming Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 1982 Erschienen in: Lecture notes in computer science ; 130 Goldblatt, R. [Verfasser:in] Axiomatising the Logic of Computer Programming Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin, Heidelberg: Springer Berlin Heidelberg, 1982 Erschienen in: Lecture notes in computer science ; 130 Goldblatt, Robert [Verfasser:in] Axiomatising the logic of computer programming Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin [u.a.]: Springer, 1982 ; Online-Ausg., Berlin [u.a.]: Springer, 2006 Erschienen in: Lecture notes in computer science ; 13000
Goldblatt, Robert [Verfasser:in] Axiomatising the logic of computer programming Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 1982 Erschienen in: Lecture notes in computer science ; 130
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Goldblatt, R. [Verfasser:in] Axiomatising the Logic of Computer Programming Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin, Heidelberg: Springer Berlin Heidelberg, 1982 Erschienen in: Lecture notes in computer science ; 130
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Goldblatt, Robert [Verfasser:in] Axiomatising the logic of computer programming Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin [u.a.]: Springer, 1982 ; Online-Ausg., Berlin [u.a.]: Springer, 2006 Erschienen in: Lecture notes in computer science ; 13000
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Verfügbarkeit Skip to next facet Magazinbestellung (1) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Englisch (3) Wert ausschließen Deutsch (1) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Informatik (2) Wert ausschließen Mathematik (2) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Goldblatt, Robert (2) Wert ausschließen Goldblatt, R. (1) Wert ausschließen zeige weitere weniger zeigen