CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-
69,15 €
These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. Kaiserslautern, FRG, October 2-6, 1989. Short Title CSL 89 1990/E. - On the verification of modules.
Jetzt bei Ebay: