Staff View: 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.

Summary goes here

Gardado en:

Detalles Bibliográficos
Formato:	Libro
Idioma:	inglés
Subjects:	System design Computer software Conception de systèmes Logica. Programmatuurtechniek. proceedings (reports) Conference papers and proceedings Congressen (vorm) Conference papers and proceedings. Actes de congrès.
Tags:	Engadir etiqueta Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!

era
format	Book
genre
geographic
id	876ced5e-ca7a-4f12-ac96-a77a855e67d3
isbn	9783540490593 3540490590
issn
language	eng
physical	1 online resource (xi, 443 pages) :illustrations
publication	– publisher: Springer dateOfPublication: ©1999
publishDate	©1999
subjects
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.
topic	System design Computer software Conception de systèmes Computer software System design Logica. Programmatuurtechniek. proceedings (reports) Conference papers and proceedings Congressen (vorm) Conference papers and proceedings. Actes de congrès.