Releases von W R Cleaveland

Cover for W R Cleaveland · Tools and Algorithms for the Construction of Analysis of Systems: 5th International Conference, Tacas '99, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps '99, Amsterdam, the Netherlands, March 22-28, 1999: Proceed (Taschenbuch) (1999)
Taschenbuch
Tools and Algorithms for the Con...
W R Cleaveland