Tools and algorithms for the construction and analysis of systems : Fifth International Workshop, TACAS '99, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99 : Amsterdam, The Netherlands, March 22-28, 1999 : proceedings - TACAS (konference) 1999 : Amsterdam, Nizozemsko); Cleveland, W. Rance; ETAPS (konference) 1999 : Amsterdam, Nizozemsko) (Berlin : Springer, 1999)
Keywords: algoritmy (programování); analytické metody; programování; analýza dat; programming; data analysis; analytical methods; computer algorithms; sborníky konferencí; proceedings of conferences