Cambridge Tracts in Theoretical Computer ScienceSeries Number 28- Deductive and Declarative Programming Série numéro 28 : Programmation déductive et déclarative

Auteur: Peter Padawitz
Langue: Anglais
Extrait
Cambridge University Press

Edition: Cambridge University Press

Auteur: Peter Padawitz Peter Padawitz
  • en
  • Broché
  • 9780521032513
  • 23 novembre 2006
  • 288 pages
Toutes les spécifications de l'article

Résumé

The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages.



Declarative programs consist of mathematical functions and relations and are amenable to formal specification and verification, since the methods of logic and proof can be applied to the programs in a well-defined manner. Here Dr Padawitz emphasizes verification based on logical inference rules, i.e. deduction (in contrast with model-theoretic approaches, deductive methods can be automated to some extent). His treatment of the subject differs from others in that he tries to capture the actual styles and applications of programming; neither too general with respect to the underlying logic, nor too restrictive for the practice of programming. He generalizes and unifies results from classical theorem-proving and term rewriting to provide proof methods tailored to declarative program synthesis and verification. Detailed examples accompany the development of the methods, whose use is supported by a documented prototyping system. The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages.

Spécifications produit

Contenu

Langue
en
Version
Broché
Date de sortie initiale
23 novembre 2006
Nombre de pages
288
Illustrations
Non

Traduction

Titre original
Deductive and Declarative Programming

Personnes impliquées

Auteur principal
Peter Padawitz
Deuxième auteur
Peter Padawitz
Rédacteur en chef
C. J. Van Rijsbergen
Editeur principal
Cambridge University Press

Autres spécifications

Hauteur de l'emballage
17 mm
Hauteur du produit
17 mm
Largeur d'emballage
152 mm
Largeur du produit
152 mm
Livre d‘étude
Oui
Longueur d'emballage
228 mm
Longueur du produit
228 mm
Poids de l'emballage
469 g
Police de caractères extra large
Non
Édition
New édition

EAN

EAN
9780521032513

Sécurité des produits

Opérateur économique responsable dans l’UE
Afficher les données

Vous trouverez cet article :

Catégories
Disponibilité
Disponible à l'adresse suivante
Langue
Anglais
Livre, ebook ou livre audio ?
Livre
Réduction
à partir de 5%

Commentaires

Pas encore d'avis
Comment vérifions-nous et publions-nous des avis ? Comment vérifions-nous et publions-nous des avis ?

Négatif, positif, neutre ; quel qu'il soit, nous publions chaque avis. Nous vérifions d'abord s'il répond aux conditions et s'il est authentique. Nous vérifions également qu'il ait été écrit par quelqu'un qui a acheté l'article via bol.com. Le cas échéant, nous le mentionnons. Les contrôles sont automatiques, même si des collaborateurs y jettent parfois manuellement un oeil. Bol. n'offre pas de paiement pour ces avis. Si un évaluateur a reçu une compensation d'un tiers, cette information est indiquée dans l'évaluation elle-même.

Choisissez la version souhaitée
Version : Broché
Informations sur les prix et commande
Le prix de ce produit est de 51 euros et 75 cents. Le prix le plus fréquemment affiché est de 56 euros et 99 cents. Vous économisez 9 %.
Économie de 9 %
Attendu dans environ 3 semaines
Vendu par bol
Ajouter au panier
  • Livraison comprise avec bol
  • Retrait possible dans un point-relais bol
  • 30 jours de réflexion et retour gratuit
  • Garantie légale via bol
  • Service client 24h/24

D'autres ont aussi regardé

Voir la liste complète