STRL STRL
© STRL 1996-2011







7 Tempura Book

The book Executing Temporal Logic Programs by Dr. B. C. Moszkowski was originally published by Cambridge University Press in 1986. The publishers have kindly given the copyright back to the author. The pdf version of the book has now been made available. Any comments are welcome. Here is how to reach the author:

Dr. Ben Moszkowski
Software Technology Research Laboratory
Gateway House (GH4.55)
The Gateway
Leicester LE1 9BH
Great Britain
email: Ben’s email
URL: Dr. Ben Moszkowski www page







November 14, 2011
Home | Training | Research | Members | About | News