Deductive Program Design
- Springer Berlin Heidelberg
- 1996
- Gebunden
- 484 Seiten
- ISBN 9783540609476
Herausgeber: Manfred Broy
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.
213,99
€
inkl. MwSt.zzgl. Versand
in Kürze