Tools and algorithms for the construction and 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 / W. Rance Cleaveland, ed.
Title:
Tools and algorithms for the construction and 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 / W. Rance Cleaveland, ed.
Conference Author:
Publication:
Berlin ; New York : Springer, [1999]
Copyright:
©1999
Publication Date:
1999
ISBN:
9783540657033
Bibliography Note:
Includes bibliographical references and index.
Content Type:
text
Carrier Type:
volume
Added Author:
Added Conference Author:
Language:
English
