
Temporal Logics in Computer Science
Stéphane Demri, Valentin Goranko, Martin Lange
₹4,334

Third Annual European Symposium, Corfu, Greece, September, 25 - 27, 1995. Proceedings
Free delivery. Nothing extra to pay at checkout.
This book consitutes the proceedings of the Third Annual European Symposium on Algorithms, ESA '95, held in Corfu, Greece in September 1995. The volume presents 42 full revised papers selected during a careful refereeing process from a total of 119 submissions; in addition, there is a prominent keynote address.
Description supplied by the publisher.