Temporal logic of programs / Fred Kröger

By:

Resource type: Ressourcentyp: BuchBookLanguage: English Series: European Association for Theoretical Computer Science. EATCS monographs on theoretical computer sciences ; 8Publisher: Berlin ; Heidelberg [u.a.] : Springer, 1987Description: VIII, 148 S. : graph. DarstISBN:

Subject(s):

DDC classification:

MSC: MSC: *03B70 | 68Q65 | 68Q60 | 03-02 | 68-02 | 03-01 | 68-01RVK: RVK: ST 230 | SK 130 | ST 130 | ST 120Call number: Grundsignatur: 87 A 1614PPN: PPN: 024085421

Holdings
Item type	Home library	Shelving location	Call number	Status	Barcode
Magazinbestand ausleihbar	Bibliothek Campus Süd	Geschlossenes Magazin	87 A 1614	Available	47500124090

Total holds: 0