Revere

Dynamic Logic, Paperback by Harel, David; Kozen, Dexter; Tiuryn, Jerzy, Brand...

Description: Dynamic Logic, Paperback by Harel, David; Kozen, Dexter; Tiuryn, Jerzy, ISBN 0262527669, ISBN-13 9780262527668, Brand New, Free shipping in the US 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 and extensions of classical formalisms. For example, Propositional Dynamic Logic (PDL) can be described as a blend of three complementary classical ingredients: propositional calculus, modal logic, and the algebra of regular events. In First-Order Dynamic Logic (DL), the propositional calculus is replaced by classical first-order predicate calculus. Dynamic Logic is a system of remarkable unity that is theoretically rich as well as of practical value. It can be used for formalizing correctness specifications and proving rigorously that those specifications are met by a particular program. Other uses include determining the equivalence of programs, comparing the expressive power of various programming constructs, and synthesizing programs from specifications. This book provides the first comprehensive introduction to Dynamic Logic. It is divided into three parts. The first part reviews the appropriate fundamental concepts of logic and computability theory and can stand alone as an introduction to these topics. The second part discusses PDL and its variants, and the third part discusses DL and its variants. Examples are provided throughout, and exercises and a short historical section are included at the end of each chapter.

Price: 68.08 USD

Location: Jessup, Maryland

End Time: 2024-08-17T14:33:40.000Z

Shipping Cost: 0 USD

Product Images

Dynamic Logic, Paperback by Harel, David; Kozen, Dexter; Tiuryn, Jerzy, Brand...

Item Specifics

Return shipping will be paid by: Buyer

All returns accepted: Returns Accepted

Item must be returned within: 14 Days

Refund will be given as: Money Back

Return policy details:

Book Title: Dynamic Logic

Number of Pages: 476 Pages

Publication Name: Dynamic Logic

Language: English

Publisher: MIT Press

Subject: Computer Science

Item Height: 1 in

Publication Year: 2000

Type: Textbook

Item Weight: 13 Oz

Item Length: 8.9 in

Subject Area: Computers

Author: Jerzy Tiuryn, David Harel, Dexter Kozen

Series: Foundations of Computing Ser.

Item Width: 7 in

Format: Trade Paperback

Recommended

Solid State Logic BIG-SIX 16-Channel Desktop Mixer / Interface
Solid State Logic BIG-SIX 16-Channel Desktop Mixer / Interface

$1999.99

View Details
Dynamic Logic (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES)
Dynamic Logic (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES)

$43.42

View Details
DYNAMIC LOGIC BY DAVID HAREL 2000
DYNAMIC LOGIC BY DAVID HAREL 2000

$50.40

View Details
Critical Thinking Logic & Problem Solving 4 In 1
Critical Thinking Logic & Problem Solving 4 In 1

$21.00

View Details
1991 Thermal Dynamics Logic PCB 19x786 Control PCB Board
1991 Thermal Dynamics Logic PCB 19x786 Control PCB Board

$199.00

View Details
Solid State Logic THE BUS+ 2-Channel Bus Compressor and Dynamic Equalizer
Solid State Logic THE BUS+ 2-Channel Bus Compressor and Dynamic Equalizer

$2250.00

View Details
Bogoslovsky - Technique Of Controversy  Principles Of Dynamic Logic - - T9000z
Bogoslovsky - Technique Of Controversy Principles Of Dynamic Logic - - T9000z

$37.60

View Details
New Mead CSV-107 Power Valve Logic Unit 70-100psi 5/32in Push-to-Connect
New Mead CSV-107 Power Valve Logic Unit 70-100psi 5/32in Push-to-Connect

$279.99

View Details
Dynamics Tile from Solid State Logic Aysis Air + SSL A Series Console Mixer
Dynamics Tile from Solid State Logic Aysis Air + SSL A Series Console Mixer

$349.00

View Details
NEW Ultrasone DJ1 Plus  Dynamic DJ Headphones with S-Logic DJ & Podcast
NEW Ultrasone DJ1 Plus Dynamic DJ Headphones with S-Logic DJ & Podcast

$99.99

View Details