Foundations of Algebraic Specification and Formal Software Development

By Andrzej Tarlecki and Donald Sannella

Book Overview

This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3642440657
• ISBN13: 9783642440656
• Release Date: March 2014
• Publisher: Springer
• Length: 584 Pages
• Weight: 1.90 lbs.
• Dimensions: 1.3" x 6.1" x 9.0"