1982, ISBN: 9780387969572
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 programmin… Mehr…
BetterWorldBooks.com used in stock. Versandkosten:zzgl. Versandkosten. Details... |
Predicate Calculus and Program Semantics (Monographs in Computer Science) - gebunden oder broschiert
1990, ISBN: 9780387969572
Springer, Hardcover, 220 Seiten, Publiziert: 1990-01-04T00:00:01Z, Produktgruppe: Book, 0.23 kg, Verkaufsrang: 887748, Architecture & Microprocessors, Computer Science, Computing & Intern… Mehr…
amazon.co.uk Smaller World Future Gut Versandkosten:Usually dispatched within 3 to 4 days. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.52) Details... |
Predicate Calculus and Program Semantics (Monographs in Computer Science) - gebunden oder broschiert
1990, ISBN: 0387969578
[EAN: 9780387969572], Gebraucht, guter Zustand, [PU: Springer], Buy with confidence! Book is in good condition with minor wear to the pages, binding, and minor marks within, Books
AbeBooks.de Books Unplugged, Amherst, NY, U.S.A. [74050220] [Rating: 5 (von 5)] NOT NEW BOOK. Versandkosten: EUR 47.26 Details... |
Predicate Calculus and Program Semantics (Monographs in Computer Science) - gebunden oder broschiert
1990, ISBN: 0387969578
[EAN: 9780387969572], Neubuch, [PU: Springer], New Copy. Customer Service Guaranteed, Books
AbeBooks.de GoldBooks, Austin, TX, U.S.A. [71454205] [Rating: 5 (von 5)] NEW BOOK. Versandkosten: EUR 29.30 Details... |
Predicate Calculus and Program Semantics (Monographs in Computer Science) - gebunden oder broschiert
1990, ISBN: 0387969578
[EAN: 9780387969572], Gebraucht, sehr guter Zustand, [PU: Springer], Books
AbeBooks.de Butterfly Books, San Clemente, CA, U.S.A. [84948329] [Rating: 5 (von 5)] NOT NEW BOOK. Versandkosten: EUR 28.36 Details... |
1982, ISBN: 9780387969572
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 programmin… Mehr…
Dijkstra, Edsger W. Scholten, Carel S.:
Predicate Calculus and Program Semantics (Monographs in Computer Science) - gebunden oder broschiert1990, ISBN: 9780387969572
Springer, Hardcover, 220 Seiten, Publiziert: 1990-01-04T00:00:01Z, Produktgruppe: Book, 0.23 kg, Verkaufsrang: 887748, Architecture & Microprocessors, Computer Science, Computing & Intern… Mehr…
Predicate Calculus and Program Semantics (Monographs in Computer Science) - gebunden oder broschiert
1990
ISBN: 0387969578
[EAN: 9780387969572], Gebraucht, guter Zustand, [PU: Springer], Buy with confidence! Book is in good condition with minor wear to the pages, binding, and minor marks within, Books
Predicate Calculus and Program Semantics (Monographs in Computer Science) - gebunden oder broschiert
1990, ISBN: 0387969578
[EAN: 9780387969572], Neubuch, [PU: Springer], New Copy. Customer Service Guaranteed, Books
Predicate Calculus and Program Semantics (Monographs in Computer Science) - gebunden oder broschiert
1990, ISBN: 0387969578
[EAN: 9780387969572], Gebraucht, sehr guter Zustand, [PU: Springer], Books
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Predicate Calculus and Program Semantics (Monographs in Computer Science)
EAN (ISBN-13): 9780387969572
ISBN (ISBN-10): 0387969578
Gebundene Ausgabe
Erscheinungsjahr: 1990
Herausgeber: Springer
Buch in der Datenbank seit 2007-06-16T17:20:05+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-11-06T11:40:38+01:00 (Berlin)
ISBN/EAN: 0387969578
ISBN - alternative Schreibweisen:
0-387-96957-8, 978-0-387-96957-2
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: scholten, carel, edsger dijkstra
Titel des Buches: predicate calculus and program semantics
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)
- 9781461279242 Predicate Calculus and Program Semantics Edsger W. Dijkstra Author (Scholten, Carel S.; Dijkstra, Edsger W.)
- Predicate Calculus and Program Semantics (Monographs in Computer Science) by Edsger W. Dijkstra (2011-09-26) (Edsger W. Dijkstra; Carel S. Scholten)
< zum Archiv...