
Formale Programmentwicklung Mit Dynamischer Logik
Maritta Heisel
₹3,508

23rd International Conference, Safecomp 2004, Potsdam, Germany, September 21-24,2004, Proceedings
by Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann
Free delivery. Nothing extra to pay at checkout.
The publisher hasn't supplied a description for this edition. The details alongside are from the distributor's record.