Hoppa till sidans huvudinnehåll

W. Rance Cleaveland – författare

Visar alla böcker från författaren W. Rance Cleaveland.
2 produkter

Tools and Algorithms for the Construction and Analysis of Systems

First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers

AvEd Brinksma,W. Rance Cleavelandm. fl.

Häftad, Engelska, 1995

729 kr

Skickas inom 10-15 vardagar

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

AvW. Rance Cleaveland

Häftad, Engelska, 1999

709 kr

Skickas inom 10-15 vardagar