Temporal Logic: First International Conference, ICTL '94

Temporal Logic: First International Conference, ICTL '94
von Ohlbach, Hans J. and Dov M. Gabbay
Springer Verlag
9783540582410
Jahr: 1994
545 Seiten
Broschiert
Bestellnummer: 1453290

Beschreibung
Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich lediglich ein Bibliotheksstempel im Buch - ordnungsgemäß entwidmet.