W. Rance Cleaveland – författare
Visar alla böcker från författaren W. Rance Cleaveland. Handla med fri frakt och snabb leverans.
3 produkter
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
E-bok, 2003
734 kr
Lägg i varukorg
ETAPS’99 is the second instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprises ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), …
Tools and Algorithms for the Construction and Analysis of Systems
First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers
Av Ed Brinksma, W. Rance Cleaveland m. fl.
Häftad, 1995
567 kr
Lägg i varukorg
This book presents 12 revised refereed papers selected as the best from 32 submissions for the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '95, held in Aarhus, Denmark, in May 1995.The workshop brought together 46 researchers interested …
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, 1999
551 kr
Lägg i varukorg
ETAPS’99 is the second instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprises ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), …
