opac, catalogo, online,servizi, biblioteca, sebina

Tools and algorithms for the construction and analysis of systems : 7. international conference, TACAS 2001 held as part of the joint European conferences on theory and practice of software, ETAPS 2001 : Genova, Italy, April 2-6, 2001 : proceedings

International conference on tools and algorithms for the construction and analysis of systems <7. ; 2001 ; Genova>

Springer Publishing Company - 2001

  • Lo trovi in
  • Scheda
  • Unimarc
USMJ8@Informatica

Documento disponibile

Richiesta di prestito

Inventario
140 13841
Collocazione
INF. CC4. 2031