All Formats & Editions
1 - 2 of 2 results found
Dynamic Logic (Foundations of Computing)
Edition Description
Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitute natural generalizations and extensions of classical formalisms. For example, Propositional Dynamic Logic...
Edition Details
Format:Hardcover
Language:English
ISBN:0262082896
Format: Hardcover
Condition:
$
66.09
Almost Gone, Only 1 Left!
Dynamic Logic
Edition Description
This book provides the first comprehensive introduction to Dynamic Logic. Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitute natural generalizations...
Edition Details
Format:Paperback
Language:English
ISBN:0262527669
Format: Paperback
Condition:
$
72.35
50 Available
Copyright © 2025 Thriftbooks.com
Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
