Program Proofs (Paperback)

Langue : anglais

Edité par MIT Press Ltd, 2023

026254623X / 9780262546232

Vendeur : AussieBookSeller, Truganina, VIC, AustralieAussieBookSeller

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 22 juin 2007

Livre broché

Etat: Neuf

EUR 119,05

EUR 32,99 expédition 
Expédition depuis Australie vers Etats-Unis

Quantité disponible : 1 disponible

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

Paperback. This comprehensive and highly readable textbook teaches how to formally reason about computer programs using an incremental approach and the verification-aware programming language Dafny.This comprehensive and highly readable textbook teaches how to formally reason about computer programs using an incremental approach and the verification-aware programming language Dafny.Program Proofs shows students what it means to write specifications for programs, what it means for programs to satisfy those specifications, and how to write proofs that connect specifications and programs. Writing with clarity and humor, K. Rustan M. Leino first provides an overview of the basic theory behind reasoning about programs. He then gradually builds up to complex concepts and applications, until students are facing real programs using objects, data structures, and non-trivial recursion. To emphasize the practical nature of program proofs, all material and examples use the verification-aware programming language Dafny, but no previous knowledge of Dafny is assumed.Written in a highly readable and student-friendly styleBuilds up to complex concepts in an incremental mannerComprehensively covers how to write proofs and how to specify and verify both functional programs and imperative programsUses real program text from a real programming language, not psuedo codeFeatures engaging illustrations and hands-on learning exercises "The book shows what it means to write specifications for programs, what it means for programs to satisfy those specifications, and how to write proofs that connect specifications and programs"-- Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.…

N° de réf. du vendeur 9780262546232

Titre
Program Proofs (Paperback)
Auteur
K. Rustan M. Leino
Éditeur
MIT Press Ltd
Année de publication
2023
État de l'article
new
Reliure
Paperback
Langue
anglais
ISBN à 10 chiffres
026254623X
ISBN à 13 chiffres
9780262546232
Illustrateur
Leino, Kaleb

AussieBookSeller

Truganina, VIC, Australie

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 22 juin 2007

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

Article25 à 45 jours ouvrés8 à 14 jours ouvrés
Premier articleEUR 32,99EUR 39,23
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

Profil professionnel du vendeur

The Nile Group Pty Ltd

42 Apex Drive
Truganina, VIC Australie 3029