Items related to Dynamic Logic (Foundations of Computing)
Synopsis
This book provides the first comprehensive introduction to Dynamic Logic.
"synopsis" may belong to another edition of this title.
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.
"About this title" may belong to another edition of this title.
- PublisherMIT Press
- Publication date2000
- ISBN 10 0262527669
- ISBN 13 9780262527668
- BindingPaperback
- LanguageEnglish
- Number of pages476
Other Popular Editions of the Same Title
Search results for Dynamic Logic (Foundations of Computing)
Seller Image
Dynamic Logic
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 22215083
Quantity: Over 20 available
Seller Image
Dynamic Logic
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 22215083-n
Quantity: Over 20 available
Stock Image
Dynamic Logic
Print on DemandSeller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9780262527668
Quantity: 15 available
Stock Image
Dynamic Logic
Print on DemandSeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9780262527668
Quantity: 15 available
Seller Image
Dynamic Logic
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 22215083
Quantity: Over 20 available
Seller Image
Dynamic Logic
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 22215083-n
Quantity: Over 20 available
Seller Image
Dynamic Logic
Print on DemandSeller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This book provides the first comprehensive introduction to Dynamic Logic. Seller Inventory # 9780262527668
Quantity: 1 available
Seller Image
Dynamic Logic
Print on DemandSeller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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.This book pr. Seller Inventory # 897575348
Quantity: Over 20 available
Stock Image
Dynamic Logic
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 476 pages. 9.00x7.00x1.20 inches. In Stock. Seller Inventory # x-0262527669
Quantity: 2 available
Stock Image
Dynamic Logic
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. Seller Inventory # 26372651303
Quantity: 4 available