Predicate Transformer Semantics

by Ernest G. Manes

A central problem in the design of programming systems is to provide methods for verifying that computer code performs to specification. This book presents a rigorous foundation for defining Boolean... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 0521616107
• ISBN13: 9780521616102
• Release Date: December 2004
• Publisher: Cambridge University Press
• Length: 236 Pages
• Weight: 0.94 lbs.
• Dimensions: 0.5" x 7.4" x 9.7"