> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Temporal logic of programs Beteiligte: Kröger, Fred [VerfasserIn] Erschienen: Berlin; Heidelberg [u.a.]: Springer, 1987 Erschienen in: European Association for Theoretical Computer Science: EATCS monographs on theoretical computer sciences ; 8 Umfang: VIII, 148 S.; graph. Darst Sprache: Englisch ISBN: 3540170308; 0387170308 RVK-Notation: ST 230 : Software allgemein, (Einführung, Lehrbücher, Methoden der Programmierung) Software engineering, Programmentwicklungssysteme und Frameworks, Softwarewerkzeuge SK 130 : Logik und Grundlagen, Metamathematik, ST 130 : Allgemeines Schlagwörter: Programm > Temporale Logik Entstehung: Anmerkungen: Literaturverz. S. [143] - 146 Weitere Bestandsnachweise 0 : EATCS monographs on theoretical computer sciences