Deductive Program Design (Nato ASI Subseries F: (closed))
Price not available for France
You can still browse on Amazon. Try another country above.
Book Details
Description
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.
