0 ratings
Numéro d'article:
247218665
Monographs in Computer Science Predicate Calculus and Program Semantics, (Paperback)
Numéro d'article:
247218665
XAF 69201
Détails du prix
Hors frais de livraison et de douane ( Les frais de livraison et de douane seront calculés lors du paiement )
*Tous les articles seront importés depuis États-Unis
0 ratings
Écrire un commentaire
En stock
Importé depuis la boutique USA
QTY:
Il ne reste que 99 articles en stock.
Commandez maintenant et recevez votre commande aux alentours du Monday, Octobre 12
Transaction sécurisée
Ubuy s'engage à protéger votre sécurité et votre confidentialité. Notre système avancé de sécurité des paiements garantit la confidentialité en chiffrant vos informations lors de la transmission grâce aux protocoles AES (Advanced Encryption Standards) et SSL (Secure Socket Layer). Vos coordonnées de paiement sont 100 % sécurisées car nous ne partageons pas vos informations de paiement avec des vendeurs tiers.
Nos meilleurs partenaires logistiques
Livraison
rapide
Retour
gratuit*
Emballage sécurisé
Produits 100 % originaux
Conformité PCI DSS
Certifié ISO 27001
Note: Step Down Voltage Transformer required for using electronics products of États-Unis store (110-120). Recommended power converters Acheter maintenant.
Détails du produit
- 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 |
DESCRIPTION DU PRODUIT
Monographs in Computer Science Predicate Calculus and Program Semantics, (Paperback)
Vous avez une question ? Chattez avec nous
Questions et réponses des clients
-
question:
Comment acheter Monographs in Computer Science Predicate Calculus en ligne sur Ubuy ?
répondre: Il est facile d'acheter Monographs in Computer Science Predicate Calculus en ligne sur Ubuy.. Il vous suffit de rechercher le produit, de choisir votre mode d'expédition lors du paiement et de le faire livrer à votre emplacement. -
question:
Monographs in Computer Science Predicate Calculus est-il disponible pour effectuer des achats en ligne à Cameroon ?
répondre: Oui, chez Ubuy Cameroon, ce produit est disponible pour vous à un prix raisonnable.. Le Monographs in Computer Science Predicate Calculus n'est pas disponible localement mais vous pouvez nous faire confiance avec nos services d'expédition express. -
question:
Combien de temps faut-il pour obtenir le produit après avoir passé la commande ?
répondre: Le délai de livraison de votre produit commandé varie en fonction de ce que vous avez commandé et de la méthode d'expédition que vous avez choisie.. Le délai de livraison estimé est mentionné lors du processus de commande, alors soyez insouciant lors de vos achats.
Edsger W Dijkstra All Books Editorial Review
Aucune critique éditoriale trouvée
Avis et évaluations clients
1 évaluations des clients
-
5 étoile
100%
-
4 étoile
0%
-
3 étoile
0%
-
2 étoile
0%
-
1 étoile
0%
Donnez votre avis sur ce produit
Partagez votre avis avec d'autres clients
Historique des prix du produit
Informations importantes
- Limitations : Pour les produits expédiés à l'international, veuillez noter que toute garantie du fabricant peut ne pas être valide ; les options de service du fabricant peuvent ne pas être disponibles ; les manuels, instructions et avertissements de sécurité des produits peuvent ne pas être dans les langues du pays de destination ; les produits (et les matériaux qui les accompagnent) peuvent ne pas être conçus conformément aux normes, spécifications et exigences d'étiquetage du pays de destination ; et les produits peuvent ne pas être conformes à la tension et aux autres normes électriques du pays de destination (nécessitant l'utilisation d'un adaptateur ou d'un convertisseur le cas échéant). Il incombe au destinataire de s'assurer que le produit peut être importé légalement dans le pays de destination. En cas de commande auprès d'Ubuy ou de ses filiales, le destinataire est l'importateur officiel et doit se conformer à toutes les lois et réglementations du pays de destination.
- Tous les produits listés sur Ubuy ne sont pas à vendre, Ubuy étant un moteur de recherche mondial. Les produits sont soumis aux réglementations en matière d'exportation et de commerce.
XAF 69201
Commandez maintenant et recevez votre commande aux alentours du Monday, Octobre 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:
Il ne reste que 99 articles en stock.
Transaction sécurisée
Conforme PCI DSS et certifié ISO 27001:2022, avec des paiements chiffrés et une protection complète de l'acheteur pour chaque commande.
Nos meilleurs partenaires logistiques
Livraison transfrontalière la plus rapide
Assurance Ubuy
Profitez d'une expérience d'achat sereine avec des produits 100 % originaux, une sécurité de paiement conforme PCI DSS, une protection des données certifiée ISO 27001, la livraison transfrontalière la plus rapide, les retours gratuits* et un emballage sécurisé pour chaque commande.