W. Rance Cleaveland - Böcker
Visar alla böcker från författaren W. Rance Cleaveland.
2 produkter
2 produkter
Del 1019 - Lecture Notes in Computer Science
Tools and Algorithms for the Construction and Analysis of Systems
First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers
Häftad, Engelska, 1995
739 kr
Skickas inom 10-15 vardagar
Del 1579 - Lecture Notes in Computer Science
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, Proceedings
Häftad, Engelska, 1999
709 kr
Skickas inom 10-15 vardagar