Predicate Transformer Semantics

Sprache: Englisch

Verlag: Cambridge University Press, 1992

0521420369 / 9780521420365

Serie: Buch 12 von 40 - Cambridge Tracts in Theoretical Computer Science

  • Hardcover
  • Gebraucht
Alle Details anzeigen

Anbieter: Optimon Books, Gravesend, Kent, Vereinigtes KönigreichOptimon Books

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 22. Dezember 2022

Artikel dieses Verkäufers ansehen
Hardcover

Zustand: Gebraucht - Befriedigend

EUR 33,60

EUR 20,98 Versand 
Versand von Vereinigtes Königreich nach USA

Anzahl: 1 verfügbar

In den Warenkorb
Kostenlose Rückgaben innerhalb von 30 Tagen

Artikelbeschreibung vom Verkäufer

A central problem in the design of programming systems is to provide methods for verifying that computer code performs to specification. This book presents a rigorous foundation for defining Boolean categories, in which the relationship between specification and behaviour can be explored. Boolean categories provide a rich interface between program constructs and techniques familiar from algebra, for instance matrix- or ideal-theoretic methods. The book's distinction is that the approach relies on only a single program construct (the first-order theory of categories), the others being derived mathematically from four axioms. Development of these axioms (which are obeyed by an abundance of program paradigms) yields Boolean algebras of 'predicates', loop-free constructs, and a calculus of partial and total correctness which is shown to be the standard one of Hoare, Dijkstra, Pratt, and Kozen. The book is based in part on courses taught by the author, and will appeal to graduate students and researchers in theoretical computer science. Copyright © Cambridge University Press.

Bestandsnummer des Verkäufers 468545

Titel
Predicate Transformer Semantics
Autor
Ernest G. Manes
Verlag
Cambridge University Press
Veröffentlichungsjahr
1992
Zustand
Good
Einband
Hardcover
Sprache
Englisch
ISBN-10
0521420369
ISBN-13
9780521420365
Serie
Buch 12 von 40: Cambridge Tracts in Theoretical Computer Science

Optimon Books

Gravesend, Kent, Vereinigtes Königreich

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 22. Dezember 2022

Versandkosten von Vereinigtes Königreich nach USA

Artikel14 bis 45 Werktage5 bis 10 Werktage
Erster ArtikelEUR 20,98EUR 46,62
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Shop-Beschreibung

We sell books on linguistics and entomology, mainly used books in English and German.

Spezialisierung

Oriental languages, Grammars, Dictionaries

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

Optimon Books

Vereinigtes Königreich