The Foundations of Program Verification

Langue : allemand

Edité par Vieweg+Teubner Verlag, 2013

3322967549 / 9783322967541

Vendeur : Home-set, Mannheim, AllemagneHome-set

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 13 avril 2026

Livre broché

Etat: Neuf

EUR 44,99

EUR 49,90 expédition 
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 2 disponibles

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

1 Mathematical Preliminaries.- 2 Predicate Logic.- 3 Three Simple Programming Languages.- 4 Fixpoints in Complete Partial Orders.- 5 Denotational Semantics.- 6 Correctness of Programs.- 7 The Classical Methods of Floyd.- 8 The Axiomatic Method of Hoare.- 9 Verification Methods Based on Denotational Semantics.- 10 LCF, A Logic for Computable Functions.- 11 An Overview of Further Developments. De Gewicht in Gramm: 360.

Titre
The Foundations of Program Verification
Auteur
Kurt Sieber
Éditeur
Vieweg+Teubner Verlag
Année de publication
2013
État de l'article
Neu
Reliure
Softcover/Taschenbuch
Langue
allemand
ISBN à 10 chiffres
3322967549
ISBN à 13 chiffres
9783322967541
Édition
2ème Édition
Poids de l'article
360 grammes

Home-set

Mannheim, Allemagne

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 13 avril 2026

Frais d'expédition de Allemagne vers Etats-Unis

Article10 à 12 jours ouvrés8 à 10 jours ouvrés
Premier articleEUR 49,90EUR 75,00
Les délais de livraison sont fixés par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent être retardées et les acheteurs sont responsables de tous les droits ou frais associés. Les vendeurs peuvent vous contacter au sujet de frais supplémentaires afin de couvrir toute augmentation des coûts d'expédition de vos articles.

Modes de paiement

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Chèque

Spécialité

Buch

Profil professionnel du vendeur

Home-set

Allemagne