0 ratings
Vare #:
247218665
Monographs in Computer Science Predicate Calculus and Program Semantics, (Paperback)
Vare #:
247218665
DKK 799
Prisdetaljer
Eksklusive forsendelses- og toldgebyrer ( Forsendelses- og toldgebyrer beregnes ved checkout )
*Alle varer importeres fra US
0 ratings
Skriv en anmeldelse
På lager
Importeret fra USA butik
QTY:
Kun 99 varer tilbage på lageret.
Bestil nu og få den omkring Monday, Oktober 12
Sikker transaktion
Ubuy arbejder hårdt for at beskytte din sikkerhed og dit privatliv. Vores avancerede betalingssikkerhedssystem sikrer fortrolighed ved at kryptere dine oplysninger under transmission ved hjælp af AES (Advanced Encryption Standards) og SSL (Secure Socket Layer) protokoller. Dine betalingsoplysninger er 100% sikre, da vi ikke deler dine betalingsoplysninger med tredjepartssælgere.
Vores bedste logistikpartnere
Hurtig
levering
Gratis
returnering*
Sikker emballering
100 % originale produkter'
PCI DSS Compliance
ISO 27001 Certified
Note: Step Down Voltage Transformer required for using electronics products of US store (110-120). Recommended power converters Køb nu.
Produktdetaljer
- 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 |
Produktbeskrivelse
Monographs in Computer Science Predicate Calculus and Program Semantics, (Paperback)
Har du spørgsmål? Chat med os
Kundespørgsmål og svar
-
spørgsmål:
Hvordan shopper man Monographs in Computer Science Predicate Calculus online fra Ubuy?
svar: Det er nemt at shoppe Monographs in Computer Science Predicate Calculus online fra Ubuy.. Du skal bare søge efter produktet, vælge din forsendelsesmetode, mens du tjekker ud og få det leveret til dit sted. -
spørgsmål:
Er Monographs in Computer Science Predicate Calculus tilgængelig til at handle online i Faroe Islands?
svar: Ja, hos Ubuy Faroe Islands er dette produkt tilgængeligt, så du kan handle til en rimelig pris.. Monographs in Computer Science Predicate Calculus er ikke tilgængelig lokalt, men du kan stole på os med vores ekspresforsendelsestjenester. -
spørgsmål:
Hvor lang tid tager det at få produktet efter at have afgivet ordren?
svar: Leveringstiden for dit bestilte produkt varierer alt efter, hvad du har bestilt, og den forsendelsesmetode, du har valgt.. Den estimerede leveringstid er nævnt under købsprocessen, så vær ubekymret, mens du handler.
Edsger W Dijkstra All Books Editorial Review
Ingen redaktionelle anmeldelser fundet
Kundeanmeldelser & vurderinger
1 kundebedømmelser
-
5 stjerne
100%
-
4 stjerne
0%
-
3 stjerne
0%
-
2 stjerne
0%
-
1 stjerne
0%
Anmeld dette produkt
Del dine tanker med andre kunder
Produktets prishistorik
Vigtig information
- Begrænsninger: For produkter, der forsendes internationalt, bemærk venligst, at eventuel producentgaranti muligvis ikke er gyldig; producentens serviceordninger er muligvis ikke tilgængelige; produktmanualer, instruktioner og sikkerhedsadvarsler er muligvis ikke på destinationslandets sprog; produkterne (og det medfølgende materiale) er muligvis ikke designet i overensstemmelse med destinationslandets standarder, specifikationer og mærkningskrav; og produkterne opfylder muligvis ikke destinationslandets krav til spænding og andre elektriske standarder (hvilket kan kræve brug af en adapter eller transformer, hvis relevant). Modtageren er ansvarlig for at sikre, at produktet lovligt kan importeres til destinationslandet. Ved bestilling hos Ubuy eller dets datterselskaber er modtageren importøren og skal overholde alle love og regler i destinationslandet.
- Det er ikke alle de produkter som vises på Ubuy som er til salg, idet Ubuy er en global søgemaskine. Produkterne er underlagt eksport-/handelsregler.
DKK 799
Bestil nu og få den omkring Monday, Oktober 12
Dette produkt er ikke begrænset i mit land. (Klik venligst på linket ovenfor, hvis dette produkt ikke er begrænset i dit land, så vil vores team gennemgå det og godkende det.)
QTY:
Kun 99 varer tilbage på lageret.
Sikker transaktion
PCI DSS-kompatibel og ISO 27001:2022-certificeret, med krypteret betaling og fuld køberbeskyttelse på hver ordre
Vores bedste logistikpartnere
Hurtigste grænseoverskridende levering
Ubuy-garanti
Oplev bekymringsfri shopping med 100 % originale produkter, PCI DSS-kompatibel betalingssikkerhed, ISO 27001-certificeret databeskyttelse, den hurtigste grænseoverskridende levering, gratis returnering* og sikker emballage på hver ordre.