*Result*: Tools and algorithms for the construction and analysis of systems
*Title*:
Tools and algorithms for the construction and analysis of systems : 6th international conference ; proceedings / 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. Susanne Graf ; Michael Schwartzbach (ed.)
*Author/editor-in-chief*:
*Corporate*:
*Publication*:
Berlin : Springer, 2000
*Physical description scale*:
XIV, 552 Seiten : Diagramme ; 24 cm
*Format*:
*Language*:
*eng*
*series_multipart*:
Lecture notes in computer science ; 1785
*show_all_volumes*
*show_all_volumes*
*Notes*:
Literaturangaben
*RVK-Notation*:
*Subject Added Keywords*:
*ISBN*:
3540672826