The calculus of refinements: a formal specification model based on inclusions
Tesis doctoral de Jordi Levy Diaz Datos académicos de la tesis doctoral «The calculus of refinements: a formal specification […]
Accede a todas las tesis doctorales sobre Politécnica de catalunya mas relevantes.
Tesis doctoral de Jordi Levy Diaz Datos académicos de la tesis doctoral «The calculus of refinements: a formal specification […]
Tesis doctoral de LLuis Vila Grabulosa Esta tesis explora la representacion del tiempo y el razonamiento automatico sobre este en
Tesis doctoral de Francisco Aguilo Gost Las redes de interconexion se han modelado matematicamente mediante digrafos para mejorar sus propiedades.
Tesis doctoral de Jaume Cendra Garreta Dentro del marco del proyecto promovido por la generalitat de catalunya de construccion de
Tesis doctoral de Emma Garcia Lopez Se realiza un estudio analitico-experimental de las corrientes neumaticas como de los mecanismos de
Tesis doctoral de Elvira Mayordomo Camara La tesis presenta extensiones y nuevas aplicaciones de la teoria de la medida con
Tesis doctoral de José M. Servent Vidal Se plantean y ratifican las siguientes hipotesis: 1 los compuestos metilolicos heterociclicos ejercen
Tesis doctoral de Juan Carlos Alayo Manubens La tesis explica las distintas fases de la electrificacion de catalunya, desde el
Tesis doctoral de Esteve Codina Sancho Este trabajo de tesis se ha centrado en las aproximaciones de control optimo del
Tesis doctoral de José Alonso García Moralejo La idea general de la tesis es la inmersion en el espiritu creador