
Algebraic Specification Techniques in Object Oriented Programming Environments
Ruth Breu
₹5,496

International Workshop, Dagstuhl Castle, Germany, September 5 - 9, 1994. Selected Papers
by Kenneth P. Birman, Friedemann Mattern, Andre Schiper
Free delivery. Nothing extra to pay at checkout.
This volume is based on the workshop "Unifying Theory and Practice in Distributed Systems" held in Schlo Dagstuhl, Germany in September 1994. During the past 20 years, a substantial theoretical and practical base has evolved in the area of distributed computing. However, this work has been done by largely disjoint communities of researchers; this workshop brought together established experts from both worlds.
Description supplied by the publisher.