Deductive Program Design

by Manfred Broy

Book Overview

Advanced research on the description of distributed systems and on design calculi for software and hardware is presented in this volume. Distinguished researchers give an overview of the latest state of the art.

• Format: Paperback
• Language: English
• ISBN: 3642648495
• ISBN13: 9783642648496
• Release Date: September 2011
• Publisher: Springer
• Length: 470 Pages
• Weight: 1.48 lbs.
• Dimensions: 1.0" x 6.1" x 9.2"