ISBN: 9781461279242
This booklet presents a reasonably self-contained theory of predicate trans former semantics. Predicate transformers were introduced by one of us (EWD) as a means for defining progr… Mehr…
BarnesandNoble.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
Predicate Calculus and Program Semantics (Monographs in Computer Science) - Taschenbuch
2011, ISBN: 1461279240
[EAN: 9781461279242], Gebraucht, sehr guter Zustand, [PU: Springer], Very Good condition. Shows only minor signs of wear, and very minimal markings inside (if any)., Books
AbeBooks.de Book Deals, Tucson, AZ, U.S.A. [85272957] [Rating: 5 (von 5)] NOT NEW BOOK. Versandkosten: EUR 19.85 Details... |
Predicate Calculus and Program Semantics - Taschenbuch
2011, ISBN: 1461279240
Softcover reprint of the original 1st ed. 1990 Kartoniert / Broschiert formalspecification; Programprogramminglanguage, mit Schutzumschlag 11, [PU:Springer New York; Springer US]
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Predicate Calculus and Program Semantics - Taschenbuch
2011, ISBN: 9781461279242
Buch, Softcover, Softcover reprint of the original 1st ed. 1990, [PU: Springer-Verlag New York Inc.], Springer-Verlag New York Inc., 2011
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 9.95) Details... |
Predicate Calculus and Program Semantics (Monographs in Computer Science) - Taschenbuch
2011, ISBN: 1461279240
[EAN: 9781461279242], Neubuch, [PU: Springer], Book is in NEW condition., Books
AbeBooks.de GF Books, Inc., Hawthorne, CA, U.S.A. [64674448] [Rating: 5 (von 5)] NEW BOOK. Versandkosten: EUR 18.90 Details... |
Predicate Calculus and Program Semantics Edsger W. Dijkstra Author - neues Buch
ISBN: 9781461279242
This booklet presents a reasonably self-contained theory of predicate trans former semantics. Predicate transformers were introduced by one of us (EWD) as a means for defining progr… Mehr…
Dijkstra, Edsger W.; Scholten, Carel S.:
Predicate Calculus and Program Semantics (Monographs in Computer Science) - Taschenbuch2011, ISBN: 1461279240
[EAN: 9781461279242], Gebraucht, sehr guter Zustand, [PU: Springer], Very Good condition. Shows only minor signs of wear, and very minimal markings inside (if any)., Books
Predicate Calculus and Program Semantics - Taschenbuch
2011
ISBN: 1461279240
Softcover reprint of the original 1st ed. 1990 Kartoniert / Broschiert formalspecification; Programprogramminglanguage, mit Schutzumschlag 11, [PU:Springer New York; Springer US]
Predicate Calculus and Program Semantics - Taschenbuch
2011, ISBN: 9781461279242
Buch, Softcover, Softcover reprint of the original 1st ed. 1990, [PU: Springer-Verlag New York Inc.], Springer-Verlag New York Inc., 2011
Predicate Calculus and Program Semantics (Monographs in Computer Science) - Taschenbuch
2011, ISBN: 1461279240
[EAN: 9781461279242], Neubuch, [PU: Springer], Book is in NEW condition., Books
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Predicate Calculus and Program Semantics Edsger W. Dijkstra Author
EAN (ISBN-13): 9781461279242
ISBN (ISBN-10): 1461279240
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2012
Herausgeber: Springer New York Core >1 >T
Buch in der Datenbank seit 2012-08-04T14:47:37+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-04-10T14:31:24+02:00 (Berlin)
ISBN/EAN: 1461279240
ISBN - alternative Schreibweisen:
1-4612-7924-0, 978-1-4612-7924-2
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: scholten, dijkstra edsger, carel, dijk, scholte, eds
Titel des Buches: calculus
Daten vom Verlag:
Autor/in: Edsger W. Dijkstra; Carel S. Scholten
Titel: Monographs in Computer Science; Predicate Calculus and Program Semantics
Verlag: Springer; Springer US
220 Seiten
Erscheinungsjahr: 2011-09-26
New York; NY; US
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
90,94 € (DE)
93,49 € (AT)
100,50 CHF (CH)
POD
XI, 220 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; formal specification; program semantics; programming language; semantics; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; BB
1. On structures.- 2. On substitution and replacement.- 3. On functions and equality.- 4. On our proof format.- 5. The calculus of boolean structures.- 6. Some properties of predicate transformers.- 7. Semantics of straight-line programs.- 8. Equations in predicates and their extreme solutions.- 9. Semantics of repetitions.- 10. Operational considerations.- 11. Converse predicate transformers.- 12. The strongest postcondition.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9781461232292 Predicate Calculus and Program Semantics (Dijkstra, Edsger W. Scholten, Carel S.)
- 9781461232292 Predicate Calculus and Program Semantics (Dijkstra, Edsger W. Scholten, Carel S.)
- 9781461232285 Predicate Calculus and Program Semantics (Edsger W. Dijkstra/ Carel S. Scholten)
- 9783540969570 Predicate Calculus and Program Semantics (Monographs in Computer Science) (Edsger W. Dijkstra, Carel S. Scholten)
- 9780387969572 Predicate Calculus and Program Semantics (Monographs in Computer Science) (Dijkstra, Edsger W. Scholten, Carel S.)
- Predicate Calculus and Program Semantics (Monographs in Computer Science) by Edsger W. Dijkstra (2011-09-26) (Edsger W. Dijkstra; Carel S. Scholten)
< zum Archiv...