Deductive Program Design (Nato ASI Subseries F: (closed))
Book Details
Publisher
Springer
ISBN / ASIN
3540609474
ISBN-13
9783540609476
Availability
Usually ships in 24 hours
Sales Rank
#11,609,148
Marketplace
United States 🇺🇸
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.
