> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Hochschulschrift Titel: First-order dynamic logic Beteiligte: Harel, David [Verfasser:in] Erschienen: Berlin; Heidelberg [u.a.]: Springer, 1979 Erschienen in: Lecture notes in computer science ; 68 Umfang: 133 S.; graph. Darst Sprache: Englisch ISBN: 3540092374; 0387092374 RVK-Notation: ST 265 : Datenstruktur, Datenorganisation SS 4800 : Lecture notes in computer science Schlagwörter: Programmierlogik Mathematische Logik Entstehung: Hochschulschrift: Zugl.: Cambridge (Mass.), Massachusetts Inst. of Technology, Diss., 1978 Anmerkungen: Literaturverz. S. [127] - 133 Weitere Bestandsnachweise 0 : Lecture notes in computer science
Zentralbibliothek – Magazin Signatur: 0780 00076 001 Barcode: 10129897 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden Bestellungen, die von Mo - Fr bis 13 Uhr eingehen, werden voraussichtlich am selben Tag für Sie bereitgestellt.