The full version of this announcement is available.
This book, edited by Leonard Bolc (Polish Academy of Science, Warsaw) and Andrzej Szalas (Institute of Informatics, University of Warsaw) is now available.
The book begins with an introduction to the basic ideas of temporal logic. Successive chapters then examine particular aspects of the temporal theoretical computing domain, relating their applications to familiar areas of research, such as stochastic process theory, automata theory, established proof systems, model checking, relational logic and classical predicate logic.
The book provides a synthesis of well established results in temporal logic with the most up-to-date findings. The editors hope that it will meet the needs both of those familiar with the field and new to it.
336pp, Published: March 1995
1-85728-233-7, BP38.00, H
UCL Press
UCL Press, University College London, Gower St., London WC1E 6BT, UK
Fax: +44 (0)171 413 8392 Tel: +44 (0)171 380 7707
e-mail: m.alexander@ucl.ac.uk
For US orders please contact Taylor and Francis Inc.,
1900 Frost Road, Suite 101, Bristol, Pennsylvania, 19007-1598 USA
For Canadian orders, please contact McClelland & Stewart,
380 Esna Park Drive Markham, Ontario L3R 1H5 Canada
See also the full UCL catalogue from the Internet Bookshop.