Program Proofs

Langue : anglais

Edité par MIT Press Ltd, 2023

026254623X / 9780262546232

Vendeur : World of Books Inc, Montgomery, IL, Etats-UnisWorld of Books Inc

Vendeur avec une évaluation de 4 étoiles

Vendeur AbeBooks depuis 23 mars 2026

Livre broché

Etat: Occasion - Assez bon

EUR 18,11

 Frais de port gratuits 
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

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 style Builds up to complex concepts in an incremental manner Comprehensively covers how to write proofs and how to specify and verify both functional programs and imperative programs Uses real program text from a real programming language, not psuedo code Features engaging illustrations and hands-on learning exercises.…

N° de réf. du vendeur CIN026254623XVG

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

World of Books Inc

Montgomery, IL, Etats-Unis

Vendeur avec une évaluation de 4 étoiles

Vendeur AbeBooks depuis 23 mars 2026

Frais d'expédition à l'intérieur de ce pays : Etats-Unis

Article4 à 12 jours ouvrés3 à 6 jours ouvrés
Premier articleEUR 0,00EUR 9,76
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

Description de la boutique

Founded in 2002, World of Books is a leading online destination for buying and selling both preloved and new books, committed to making sustainable reading accessible to all. With a mission to help people read more and waste less, World of Books offers a huge range of affordable, high-quality books — giving both new and preloved titles a second life. The company also operates World of Books – Sell Your Books, an easy-to-use platform that allows customers to trade in unwanted books for cash, helping to keep books in circulation while promoting sustainability. As a Certified B Corp, World of Books is driven by a vision to become the world’s largest and most sustainable dedicated online bookstore. The company measures its success through the positive environmental impact it creates, the value it provides to customers, and its ability to operate profitably while supporting its sustainable mission …

Spécialité

Second Hand - All Genre

Profil professionnel du vendeur

SBYB, Inc.

900 Knell Road
Montgomery, IL Etats-Unis 60538