skip to main content

Formal methods: applications and technology : 11th international workshop, FMICS 2006 5th international workshop, PDMC 2006 Bonn, Germany, August 2006 Revised selected papers

International workshop, PDMC 2006 <5; 2006; Bonn> ; BRIM, Lubos

Berlin etc. : Springer, copyr. 2007

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

Ricerca in corso nelle risorse remote ...