Dynamic Logic

Harel, David; Kozen, Dexter; Tiuryn, Jerzy

ISBN 10: 0262527669 / ISBN 13: 9780262527668

Published by MIT Press, 2000

About this Item

Print on Demand pp.

Seller Inventory # 373394168

Bibliographic Details

• Title: Dynamic Logic
• Publisher: MIT Press
• Publication Date: 2000
• Language: English
• ISBN 10: 0262527669
• ISBN 13: 9780262527668
• Binding: Soft cover
• Condition: New

About this title

Synopsis

This book provides the first comprehensive introduction to Dynamic Logic.

About the Author

Dexter Kozen is Joseph Newton Pew, Jr., Professor of Engineering in the Computing and Information Science Department at Cornell University.

Jerzy Tiuryn is Professor in the Institute of Computer Science at the University of Warsaw.