- Domača stran /
- Knjige /
- All Books /
- Monographs in Computer Science Predicate Calculus and Program Semantics, (Paperback)
0 ratings
Artikel #:
247218665
Monographs in Computer Science Predicate Calculus and Program Semantics, (Paperback)
Artikel #:
247218665
€ 98
Price Details
Excluding Shipping & Custom charges ( Shipping and custom charges will be calculated on checkout )
*All items will import from ZDA
0 ratings
Napiši oceno
Na zalogi
Uvoženo iz trgovine USA
QTY:
Na zalogi je le še 99 izdelkov.
Naročite zdaj in dobite okoli dne: Monday, Oktober 12
Secured transaction
Ubuy works hard to protect your security and privacy. Our advanced payment security system ensures confidentiality by encrypting your information during transmission using AES (Advanced Encryption Standards) and SSL (Secure Socket Layer) protocols. Your payment details are 100% secure as we do not share your payment details with third party sellers.
Our Top Logistics Partners
Fast
Shipping
Free
Return*
Secure Packaging
100% Original Products
PCI DSS Compliance
ISO 27001 Certified
Note: Step Down Voltage Transformer required for using electronics products of ZDA store (110-120). Recommended power converters Kupi zdaj.
Podrobnosti produkta
- 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 |
OPIS IZDELKA
Monographs in Computer Science Predicate Calculus and Program Semantics, (Paperback)
Imate kakšno vprašanje? Klepetajte z nami
Vprašanja in odgovori strank
-
Vprašanje:
Kako nakupovati Monographs in Computer Science Predicate Calculus prek spleta pri Ubuyu?
Odgovor: Preprosto je nakupovati Monographs in Computer Science Predicate Calculus v spletu pri Ubuyu.. Izdelek morate le poiskati, med odjavo izbrati način pošiljanja in ga dostaviti na vašo lokacijo. -
Vprašanje:
Ali je Monographs in Computer Science Predicate Calculus na voljo za spletno nakupovanje v Slovenia?
Odgovor: Da, pri Ubuy Slovenia je ta izdelek na voljo za nakupovanje po razumni ceni.. Monographs in Computer Science Predicate Calculus ni na voljo lokalno, vendar nam lahko zaupate naše storitve hitrega pošiljanja. -
Vprašanje:
Koliko časa traja, da dobite izdelek po oddaji naročila?
Odgovor: Čas dostave naročenega izdelka se razlikuje glede na to, kaj ste naročili, in način pošiljanja, ki ste ga izbrali.. Predviden čas dostave je naveden med postopkom nakupa, zato bodite brezskrbni pri nakupovanju.
Edsger W Dijkstra All Books Editorial Review
Uredniške ocene niso bile najdene
Customer Reviews & Ratings
1 Ocene kupcev
-
5 Zvezda
100%
-
4 Zvezda
0%
-
3 Zvezda
0%
-
2 Zvezda
0%
-
1 Zvezda
0%
Oceni ta izdelek
Delite svoje misli z drugimi strankami
Product Price History
Pomembne informacije
- Omejitve: Pri izdelkih, ki se pošiljajo v tujino, upoštevajte, da proizvajalčeva garancija morda ne bo veljavna; servisne možnosti proizvajalca morda ne bodo na voljo; priročniki, navodila in varnostna opozorila za izdelke morda ne bodo v jeziku ciljne države. Izdelki (in pripadajoči materiali) morda ne bodo oblikovani v skladu s standardi destinacijske države in v skladu z zahtevami za etiketiranje; izdelki morda ne bodo v skladu s standardi za voltažo in elektriko, ki veljajo v destinacijski državi (morda bo potrebna uporaba adapterja ali pretvornika). Prejemnik je odgovoren za zagotovitev, da se izdelek lahko v skladu z zakonodajo uvozi v destinacijsko državo. Če naročate pri Ubuy ali pridruženih partnerjih, je prejemnik registrirani uvoznik in mora izpolnjevati vso zakonodajo in pravila destinacijske države.
- Vsi izdelki, navedeni na Ubuyu, niso naprodaj, saj je Ubuy globalni iskalnik. Za izdelke veljajo izvozni/trgovinski predpisi.
€ 98
Naročite zdaj in dobite okoli dne: Monday, Oktober 12
This item is not restrict in my country.(Please click on above link if this item is not restrict in your country, So our team will review and allow.)
QTY:
Na zalogi je le še 99 izdelkov.
Secured transaction
PCI DSS compliant and ISO 27001:2022 certified, with encrypted payments and full buyer protection on every order.
Our Top Logistics Partners
Fastest cross-border delivery
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.