Titre : Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 2002 : proceedings


Perdita Stevens. Editeur scientifique
Joost-Pieter Katoen. Editeur scientifique
TACAS 2002 : 8th ; 2002 ; Grenoble, FR
New York heidelberg
Springer
cop. 2002
1 vol. (XIII-482 p.) ; 24 cm
(Lecture notes in computer science, 0302-9743 ; 2280)

xx Logiciels-- Développement
xx Systèmes, Conception de-- Congrès
3-540-43419-4

Includes bibliographical references and index

Exemplaires

Powered by Koha

LocalisationCoteSituation
Centre de recherche en informatique   GRE 02