The Testaments out now
Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings - Lecture Notes in Computer Science 827 (Paperback)
  • Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings - Lecture Notes in Computer Science 827 (Paperback)
zoom

Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings - Lecture Notes in Computer Science 827 (Paperback)

(editor), (editor)
£89.99
Paperback 551 Pages / Published: 29/06/1994
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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; presently it is in a stage of accelerated dynamic growth. This book, as the proceedings of the first international conference particularly dedicated to temporal logic, gives a thorough state-of-the-art report on all aspects of temporal logic research relevant for computer science and AI. It contains 27 technical contributions carefully selected for presentation at ICTL '94 as well as three surveys and position papers.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540582410
Number of pages: 551
Weight: 1740 g
Dimensions: 235 x 155 x 29 mm
Edition: 1994 ed.

You may also be interested in...

Enterprise Data Architecture
Added to basket
Logic in Computer Science
Added to basket
Computer Systems
Added to basket
The ZX Spectrum ULA
Added to basket
Beyond Software Architecture
Added to basket
Principles of Computer Hardware
Added to basket
Articulating Design Decisions
Added to basket
Digital Design: International Editions
Added to basket
Formal Languages in Logic
Added to basket

Please sign in to write a review

Your review has been submitted successfully.