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 /

Bibliographic Details
Corporate Authors:	TACAS (Conference) Amsterdam, Netherlands), ETAPS (Conference)
Other Authors:	Cleaveland, W. R. (Walter Rance), 1961-
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, [1999]
Series:	Lecture notes in computer science. 1579.
Subjects:	System design > Congresses. Computer software > Development > Congresses.

Remote Storage