skip to main content
Lingue:

Tools and algorithms for the construction and analysis of systems : 14th International conference, TACAS 2008 Held as part of the joint european conferences on theory and practice of software, ETAPS 2008 Budapest, Hungary, March 29-April 6, 2008 proceedings

International conference, TACAS 2008 Held as part of the joint european conferences on theory and practice of software, ETAPS 2008 <14.; 2008.; Budapest> ; RAMAKRISHNAN, C.R. ; REHOF, Jakob

Berlin etc. : Springer, copyr. 2008

Disponibile in Biblioteca Polo Scientifico e Tecnologico  Area Scientifica  39USA_INST:2156460960003316()

Ricerca in corso nelle risorse remote ...