Internformat: Tools and algorithms for the construction and analysis of systems : 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings / Susanne Graf, Michael Schwartzbach (eds.).

Summary goes here

Gespeichert in:

Bibliographische Detailangaben
Format:	Buch
Sprache:	Englisch
Schlagworte:	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:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

era
format	Book
genre
geographic
id	cf5c2463-99ff-4bcf-82fe-233d3ef52ddc
isbn	9783540464198 3540464190
issn
language	eng
physical	1 online resource (xiv, 552 pages) :illustrations
publication	– publisher: Springer dateOfPublication: ©2000
publishDate	©2000
subjects
title	Tools and algorithms for the construction and analysis of systems : 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings / Susanne Graf, Michael Schwartzbach (eds.).
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.