Program Proofs (Paperback)

Language: English

Published by MIT Press Ltd, 2023

026254623X / 9780262546232

  • Softcover
  • New
See all details

Seller: AussieBookSeller, Truganina, VIC, AustraliaAussieBookSeller

5-star seller

AbeBooks seller since June 22, 2007

View this seller's items
Softcover

Condition: New

£ 70.75

£ 27.12 shipping 
Ships from Australia to U.S.A.

Quantity: 1 available

Add to basket

Item description from seller

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.

Seller Inventory # 9780262546232

Title
Program Proofs (Paperback)
Author
K. Rustan M. Leino
Publisher
MIT Press Ltd
Publication year
2023
Condition
new
Binding
Paperback
Language
English
ISBN 10
026254623X
ISBN 13
9780262546232
Illustrator
Leino, Kaleb

AussieBookSeller

Truganina, VIC, Australia

5-star seller

AbeBooks seller since June 22, 2007

Shipping rates from Australia to U.S.A.

Item25 to 45 business days8 to 14 business days
First item£ 27.12£ 32.25
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

VisaMastercardAmerican ExpressApple PayGoogle Pay

Seller's business information

The Nile Group Pty Ltd

42 Apex Drive
Truganina, VIC Australia 3029