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 Ciencia de los ordenadores 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 Noronha Serpa M. Gloria Este estudio ha tenido como objetivo general una reflexion sobre las investigaciones cientificas
Tesis doctoral de Sanz Angulo Lucio Jesús La finalidad de definir un sistema informatico como el que se propone en
Tesis doctoral de Josep Vilaplana Pasto Datos académicos de la tesis doctoral «Coherencia y paralelismo en la generacion de
Tesis doctoral de Rodriguez Herrera Carlos Francisco En esta tesis se presenta un entorno integrado de planificacion y control para
Tesis doctoral de Rodriguez Perez M. Carmen La aplicacion informatica infandiet, confeccionada con el programa toolboolk, version 1.53, que funciona
Tesis doctoral de Pando De La Hoz Francisco Se ha diseñado, implementado y probado un sistema informatico para gestionar la
Tesis doctoral de Vicente Gaitan Alcalde En este trabajo se han estudiado las aplicaciones de las redes neuronales en fisica
Tesis doctoral de Antonio Garcia Roberto De En el trabajo de investigacion se ha establecido una metodología que facilita la