Temporal Logic
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1994
124,75 €On orderDelivery: 2-3 weeks
This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994. Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds;
- ISBN-13
- 9783540582410
- ISBN-10
- 354058241X
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Year
- 1994
- Publication date
- 1994-06-29
- Pages
- 551
- Dimensions
- 235x155x