Proving programs correct by Robert Brockett Anderson | Open Library (original) (raw)

It looks like you're offline.

• Overview
• View 1 Edition
• Details
• Reviews
• Lists
• Related Books

Proving programs correct

Robert Brockett Anderson, Robe ...

Proving programs correct

×Close

• 
  Facebook

• 
  Twitter

• 
  Pinterest

• Embed

• Copy URL

• 
  QR Code

• 1 Want to read

• 
  Facebook
• 
  Twitter
• 
  Pinterest
• Embed
• Copy URL
• 
  QR Code

Buy this book

Fetching prices

• Overview
• View 1 Edition
• Details
• Reviews
• Lists
• Related Books

This edition doesn't have a description yet. Can you add one?

Buy this book

Fetching prices

Previews available in:English

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading Lists

Loading carousel

Failed to fetch carousel. Retry?

Loading carousel

Failed to fetch carousel. Retry?

Download catalog record:RDF /JSON /OPDS | Wikipedia citation

Copy and paste this code into your Wikipedia page. Need help?