InstitucionesPeriodo de publicación recogido
|
|
|
Partial Evaluation of Functional Logic Programs
María Alpuente Frasnedo, Moreno Falaschi
ACM transactions on programming languages and systems, ISSN 0164-0925, Vol. 20, Nº 4, 1998, págs. 768-844
Symbolic Model Checking for Timed Concurrent Constraint Programs
María Alpuente Frasnedo, Moreno Falaschi, Alicia Villanueva García
III Jornadas de Programación y Lenguajes (PROLE'03): Actas, Alicante, del 12 al 14 de noviembre de 2003 / coord. por Juan José Moreno Navarro, Manuel Palomar Sanz, 2003, ISBN MU-2299-2003, pág. 151
Rule-based methodologies for the specification and analysis of complex computing systems
Tesis doctoral dirigida por María Alpuente Frasnedo (dir. tes.), Moreno Falaschi (dir. tes.). Universitat Politècnica de València (2010).
Rule-Based Software Verification and Correction
Tesis doctoral dirigida por María Alpuente Frasnedo (dir. tes.), Moreno Falaschi (dir. tes.). Universitat Politècnica de València (2005).
Model checking for the concurrent constraint paradigm
Tesis doctoral dirigida por María Alpuente Frasnedo (dir. tes.), Moreno Falaschi (dir. tes.). Universitat Politècnica de València (2003).
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados