About
Sign in
Join
Deductive Program Design
Manfred Broy
—
1996
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.
Buy
Want to read
Sign up to use
Share
0
Reviews
0
Highlights
0
Currently reading
0
Finished
0
Want to read