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
$ 65.49

Ordered from remote warehouse

Expected delivery Mar 29 - Apr 12
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 Tyskland, 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