Deductive Program Design
Download or Read eBook Deductive Program Design PDF written by Manfred Broy and published by Springer Science & Business Media. This book was released on 1996-06-18 with total page 490 pages. Available in PDF, EPUB and Kindle.
Author | : Manfred Broy |
Publisher | : Springer Science & Business Media |
Total Pages | : 490 |
Release | : 1996-06-18 |
ISBN-10 | : 3540609474 |
ISBN-13 | : 9783540609476 |
Rating | : 4/5 (74 Downloads) |
Book Synopsis Deductive Program Design by : Manfred Broy
Book excerpt: 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.