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

Name: Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993 : Proceedings (Lecture Notes in Computer Science)
Brand: Springer Nature
SKU: 9780387589763
Rating: 4.5 (1 reviews)
ISBN: 9780387589763

Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993 : Proceedings (Lecture Notes in Computer Science) image

ISBN-10:

0387589767

ISBN-13:

9780387589763

Author(s): FISHER, Michael

Released: Jan 01, 1995

Publisher: Springer Nature

Format: Paperback, 180 pages

to view more data

Sell this Book

Buy this Book

Find in Library

Description:

Book details unavailable.

‌

We're an Amazon Associate. We earn from qualifying purchases at Amazon and all stores listed here.