Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993 - Proceedings - Lecture Notes in Computer Science - Michael Fisher - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540589761 - February 17, 1995
In case cover and title do not match, the title is correct

Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993 - Proceedings - Lecture Notes in Computer Science Annotated edition

Michael Fisher

Price
CA$ 90.49

Ordered from remote warehouse

Expected delivery Dec 3 - 16
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993 - Proceedings - Lecture Notes in Computer Science Annotated edition

Presents the revised proceedings of the IJCAI '93 Workshop on Executable Modal and Temporal Logics held in Chambery, France in August 1993. This title addresses a range of approaches to executable modal and temporal logics, not only from a logical point of view, but also from programming language and application standpoints.

188 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released February 17, 1995
ISBN13 9783540589761
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 188
Dimensions 156 × 234 × 10 mm   ·   281 g
Editor Fisher, Michael
Editor Owens, Richard
Show all

More by Michael Fisher

See all of Michael Fisher ( e.g. Paperback Book , Hardcover Book and CD )