Dynamic Logic - ein Angebot gefunden
Bester Preis: Fr. 70.48 (€ 72.48)¹ (vom 02.08.2017)Aus dem Archiv:
1
Dynamic Logic
EN NWISBN: 9780262263023 bzw. 0262263025, in Englisch, The MIT Press, neu.
Lieferung aus: Deutschland, Free shipping.
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. Englisch, Ebook.
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. Englisch, Ebook.
Daten vom 02.08.2017 12:31h
ISBN (andere Schreibweisen): 0-262-26302-5, 978-0-262-26302-3
ISBN (andere Schreibweisen): 0-262-26302-5, 978-0-262-26302-3
Zuerst gefunden: 02.08.2017 12:31:57
Zuletzt gefunden: 02.08.2017 12:31:57
Kleinster Preis: Fr. 70.48 (€ 72.48)¹ (vom 02.08.2017 12:31:57)
Höchster Preis: Fr. 70.48 (€ 72.48)¹ (vom 02.08.2017 12:31:57)
Fundstellen insgesamt: 1
Zuletzt gefunden: 02.08.2017 12:31:57
Kleinster Preis: Fr. 70.48 (€ 72.48)¹ (vom 02.08.2017 12:31:57)
Höchster Preis: Fr. 70.48 (€ 72.48)¹ (vom 02.08.2017 12:31:57)
Fundstellen insgesamt: 1
Momentan keine Suchergebnisse - vielleicht bald lieferbar
Ihre Suche nach ist bei mehr als 100 angebundenen Webshops momentan nicht lieferbar. Wir finden dieses Buch aber trotzdem innerhalb weniger Wochen.
Sie Suchen nach diesem Buch:
David Harel: Dynamic Logic
ISBN: 9780262263023
Speichern Sie diese Suche kostenlos in ab, dann werden Sie automatisch benachrichtigt, sobald dieses Buch verfügbar ist. Meistens finden wir dieses Buch innerhalb weniger Wochen und verständigen Sie dann per E-Mail. Sie können dann frei entscheiden, ob Sie das Buch kaufen wollen oder nicht.
Unsere Suchtipps für Ihre Suche:
- Alle Bücher des Autors.: Suche nach "Autor: david harel" liefert mehr Ergebnisse
- Suchen nach Suchbegriffen wie Autor oder Titel des Buches sind erfolgreicher als solche nach der ISBN.: Suche nach "dynamic logic david harel" liefert mehr Ergebnisse
Sie haben jetzt folgende Möglichkeiten:
- Speichern Sie diese Seite in Ihren Lesezeichen oder Favoriten ab, dann können Sie jederzeit die Suche erneut ausführen.
- Das Buch ist tatsächlich derzeit vergriffen bzw. nicht lieferbar. Es ist z.B. eine Rarität. Möglicherweise ist es aber in einiger Zeit lieferbar. Speichern Sie dazu diese Suche kostenlos ab oder lassen Sie sich kostenlos auf dieses Gerät benachrichten und Sie werden automatisch per E-Mail oder Nachricht informiert, sobald dieses Buch wieder lieferbar wird. Wir sind zuversichtlich, dass wir jedes Buch auf diese Weise innerhalb relativ kurzer Zeit finden. Probieren Sie es einfach aus!
Mich bei neuen Ergebnissen benachrichtigenSuche jetzt kostenlos SpeichernIn 50 Millionen auch bereits vergriffenen Büchern recherchieren!
Anmeldung mit Google:
ODER
Anmeldung mit Facebook:
Lade…