First-Order Dynamic Logic (Lecture Notes in Computer Science) - Softcover

Harel, David

 
9780387092379: First-Order Dynamic Logic (Lecture Notes in Computer Science)
Softcover
ISBN 10: 0387092374 ISBN 13: 9780387092379
Publisher: Springer Verlag, 1979

This specific ISBN edition is currently not available.

Synopsis

No First-Order Dynamic Logic Read a customer review or write one .

"synopsis" may belong to another edition of this title.

Publisher
Springer Verlag
Publication date
1979
Language
English
ISBN 10 
0387092374
ISBN 13 
9780387092379
Binding
Paperback
Number of pages
133

Other Popular Editions of the Same Title

9783540092377: First-Order Dynamic Logic: 68 (Lecture Notes in Computer Science, 68)

Featured Edition

ISBN 10:  3540092374 ISBN 13:  9783540092377
Publisher: Springer, 1979
Softcover