The temporal logic for event structures:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Penczek, Wojciech (VerfasserIn)
Format: Buch
Sprache:Polish
Veröffentlicht: Warsaw 1987
Schriftenreihe:Instytut Podstaw Informatyki <Warszawa>: Prace IPI PAN 616
Beschreibung:Zsfassung in russ. u. poln. Sprache
Beschreibung:28 S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!