Logic and Algebra of Specification (NATO Asi Series: Series F: Computer & Systems Sciences)

By Wilfried Brauer, Helmut Schwichtenberg, Friedrich L. Bauer

Book Overview

This NATO volume presents a selection of leading research aimed at giving a foundation for combining logic and algebra for the purpose of specification under the aspects of automated deduction,... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0387558136
• ISBN13: 9780387558134
• Release Date: January 1993
• Publisher: Springer Verlag
• Length: 442 Pages
• Weight: 0.51 lbs.