- Startseite /
- Bücher /
- All Books /
- Monographs in Computer Science Predicate Calculus and Program Semantics, (Paperback)
0 ratings
Artikelnr.:
247218665
Monographs in Computer Science Predicate Calculus and Program Semantics, (Paperback)
Artikelnr.:
247218665
CHF 103
Price Details
Ohne Versand- und Zollkosten ( Versand- und Zollkosten werden an der Kasse berechnet )
*Alle Artikel werden aus USA importiert
0 ratings
Schreiben Sie eine Bewertung
Auf Lager
Vom USA Store für Sie importiert
QTY:
Nur noch 99 Artikel auf Lager.
Bestellen Sie jetzt und erhalten Sie es am Dienstag, Oktober 13
Gesicherte Transaktion
Ubuy ist bestrebt, Ihre Sicherheit und Privatsphäre zu schützen. Unser fortschrittliches Zahlungssicherheitssystem gewährleistet Vertraulichkeit, indem Ihre Daten während der Übertragung mit AES (Advanced Encryption Standards) und SSL (Secure Socket Layer) Protokollen verschlüsselt werden. Ihre Zahlungsdaten sind 100% sicher, da wir Ihre Zahlungsdaten nicht an Drittanbieter weitergeben.
Unsere besten Logistigpartner
Fast
Shipping
Kostenlose
Rücksendung*
Sichere Verpackung
100 % Originalprodukte
PCI DSS-Standards
ISO 27001-zertifiziert
Note: Step Down Voltage Transformer required for using electronics products of USA store (110-120). Recommended power converters Jetzt kaufen.
Produktdetails
- 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 programming language semantics in a way that would directly support the systematic development of programs from their formal specifications. They met their original goal, but as time went on and program derivation became a more and more formal activity, their informal introduction and the fact that many of their properties had never been proved became more and more unsatisfactory. And so did the original exclusion of unbounded nondeterminacy. In 1982 we started to remedy these shortcomings. This little monograph is a result of that work. A possible -and even likely- criticism is that anyone sufficiently versed in lattice theory can easily derive all of our results himself. That criticism would be correct but somewhat beside the point. The first remark is that the average book on lattice theory is several times fatter (and probably less self- contained) than this booklet. The second remark is that the predicate transformer semantics provided only one of the reasons for going through the pains of publication.
| Book format | Paperback |
| Fiction/nonfiction | Non-Fiction |
| Genre | Textbooks |
| Publication date | September, 2011 |
| Pages | 220 |
| Subgenre | Logic |
| Series title | Monographs in Computer Science |
| Edition | softcover reprint of the original 1st 1990 Edition |
| Publisher | Springer New York |
| Original languages | English |
| Language | English |
| Edu focus | Mathematics |
| Educational level | Higher |
| Is collectible | N |
| Recording time | 0 min |
| Retail packaging | Single Piece |
| Assembled product dimensions (l x w x h) | 6.14 x 0.51 x 9.21 in (15.6 x 1.3 x 23.4 cm) |
| Assembled product weight | 0.75 lb (340 grams) |
| Bisac subject heading | Mathematics |
PRODUKTBESCHREIBUNG
Monographs in Computer Science Predicate Calculus and Program Semantics, (Paperback)
Haben Sie eine Frage? Mit uns chatten
Kundenfragen und -antworten
-
Frage:
Wie kaufe ich Monographs in Computer Science Predicate Calculus online bei Ubuy ein?
Antworten: Es ist ganz einfach, Monographs in Computer Science Predicate Calculus online bei Ubuy einzukaufen.. Sie müssen nur nach dem Produkt suchen, beim Bezahlen Ihre Versandart auswählen und es an Ihren Standort liefern lassen. -
Frage:
Ist Monographs in Computer Science Predicate Calculus in Liechtenstein zum Online-Shoppen verfügbar?
Antworten: Ja, bei Ubuy Liechtenstein können Sie dieses Produkt zu einem angemessenen Preis kaufen.. Das Monographs in Computer Science Predicate Calculus ist lokal nicht verfügbar, aber Sie können uns unseren Expressversandservice anvertrauen. -
Frage:
Wie lange dauert es nach der Bestellung, bis ich das Produkt erhalte?
Antworten: Die Lieferzeit Ihres bestellten Produkts hängt davon ab, was Sie bestellt haben und welche Versandart Sie gewählt haben.. Die voraussichtliche Lieferzeit wird während des Bestellvorgangs angegeben. Seien Sie also beim Einkaufen unbesorgt.
Edsger W Dijkstra All Books Editorial Review
Keine redaktionellen Rezensionen gefunden
Kundenbewertungen
1 Kundenbewertungen
-
5 Sterne
100%
-
4 Sterne
0%
-
3 Sterne
0%
-
2 Sterne
0%
-
1 Sterne
0%
Bewerten Sie dieses Produkt
Teilen Sie Ihre Meinung mit anderen Kunden
Produktpreisverlauf
Wichtige Information
- Einschränkungen: Für international versandte Produkte beachten Sie bitte, dass jegliche Herstellergarantie nicht gültig sein könnte; Herstellerservice-Optionen nicht verfügbar sein könnten; Produkthandbücher, Gebrauchsanleitungen und Sicherheitshinweise nicht in der Sprache des Ziellandes verfasst sein könnten; die Produkte (und Begleitmaterialien) könnten nicht im Einklang mit den Standards, Spezifizierungen und Etikettierungsvorgaben des Ziellandes entworfen sein; und die Produkte könnten nicht der Voltzahl und anderen elektrischen Standards des Ziellandes entsprechen (weshalb, falls zutreffend, die Verwendung eines Adapters oder Umwandlers erforderlich sein könnte). Der Empfänger ist dafür verantwortlich sicherzustellen, dass das Produkt legal in das Zielland importiert werden kann. Bei der Bestellung von Ubuy oder seinen Partnern ist der Empfänger der eingetragene Importeur und muss sich an alle Gesetze und Regulierungen des Ziellandes halten.
- Nicht alle auf Ubuy aufgeführten Produkte werden zum Verkauf angeboten, da Ubuy eine globale Suchmaschine ist. Produkte unterliegen Export-/Handelsbestimmungen.
CHF 103
Bestellen Sie jetzt und erhalten Sie es am Dienstag, Oktober 13
Dieser Artikel unterliegt in meinem Land keinen Beschränkungen. (Klicken Sie bitte auf den obigen Link, wenn dieser Artikel in Ihrem Land keinen Beschränkungen unterliegt. Unser Team wird ihn dann prüfen und zulassen.)
QTY:
Nur noch 99 Artikel auf Lager.
Gesicherte Transaktion
PCI DSS compliant and ISO 27001:2022 certified, with encrypted payments and full buyer protection on every order.
Unsere besten Logistigpartner
Schnellste grenzüberschreitende Lieferung
Ubuy Assurance
Experience worry-free shopping with 100% original products, PCI DSS-compliant payment security, ISO 27001-certified data protection, the fastest cross-border delivery, free returns *, and secure packaging on every order.