Predicate Transformer Semantics

(Part of the Cambridge Tracts in Theoretical Computer Science Series)

by Ernest G. Manes

No Customer Reviews

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 categories, in which the relationship between specification and behaviour can be explored. Boolean categories provide a rich interface between program constructs and techniques familiar from algebra, for instance matrix- or ideal-theoretic methods. The...

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"

Related Subjects

Computers Computers & Technology Education & Reference Languages & Tools Math Mathematics Programming Science & Math Software Design, Testing & Engineering Software Development

Customer Reviews

0 rating

Write a review

ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.

Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks^® and the ThriftBooks^® logo are registered trademarks of Thrift Books Global, LLC

Predicate Transformer Semantics

(Part of the Cambridge Tracts in Theoretical Computer Science Series)

Recommended

Customer Reviews

Popular Categories

Website

My Account

Partnerships

Quick Help

About Us

Follow Us