Image de l'éditeur

Dynamic Logic (Paperback)

David Harel, Jerzy Tiuryn, Dexter Kozen

ISBN 10: 0262527669 / ISBN 13: 9780262527668
Edité par MIT Press Ltd, United States, 2000
Neuf(s) Etat : New Paperback
Vendeur The Book Depository US (London, Royaume-Uni)

Vendeur AbeBooks depuis 10 septembre 2013

Evaluation du vendeur Evaluation 5 étoiles

Quantité : 1

Disponible auprès d'autres vendeurs

Afficher tous les  exemplaires de ce livre
Acheter neuf
Prix conseillé :
Prix: EUR 48,88 Autre devise
Livraison : EUR 0 De Royaume-Uni vers Etats-Unis Destinations, frais et délais
Ajouter au panier

Modes de paiement
acceptés par le vendeur

Visa Mastercard American Express Carte Bleue

A propos de cet article

Language: English . Brand New Book. 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. N° de réf. du libraire AAH9780262527668

Poser une question au libraire

Détails bibliographiques

Titre : Dynamic Logic (Paperback)

Éditeur : MIT Press Ltd, United States

Date d'édition : 2000

Reliure : Paperback

Etat du livre :New

A propos de ce titre

Synopsis :

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Description de la librairie

Book Depository is an international bookseller. We ship our books to over 100 countries around the globe and we are always looking to add more countries to the list. We really, really love books and offer millions of titles, currently over 10 million of them, with this figure increasing daily. Living by our motto, 'Bookseller to the World', we focus on offering as many titles as possible to as many customers as possible. Most of our titles are dispatched within 2 business days of your order. Apart from publishers, distributors and wholesalers, we even list and supply books from other retailers! We hope you enjoy our selection and discover your new favorite book.

Visitez la page d?accueil du vendeur

Conditions de vente :

All books are shipped in New condition promptly, we are happy to accept returns up to 30 days from purchase. Orders usually ship within 1-2 business days. Domestic Shipments are sent by Royal Mail, and International by Priority Airmail. We are happy to accept returns up to 30 days from purchase. Please contact the seller directly if you wish to return an order. Name of business : The Book Depository Ltd Form of legal entity : A Limited Company Business address: The Book Depository, 60 Holborn Vi...

Pour plus d'information
Conditions de livraison :

Orders usually ship within 1-2 business days. Domestic Shipments are sent by Royal Mail, and International by Priority Airmail. We are happy to accept returns up to 30 days from purchase. Please contact the seller directly if you wish to return an order.

Afficher le catalogue du vendeur