InstitucionesPeriodo de publicación recogido
|
|
|
Computer Aided Verification of Relational Models by Strategic Rewriting
Claudia M. Necco, José N. Oliveira, Joost Visser, Roberto Uzal
Journal of Computer Science and Technology, ISSN-e 1666-6038, Vol. 17, Nº. 2, 2017, págs. 140-148
Transforming Data by Calculation
José N. Oliveira
Generative and Transformational Techniques in Software Engineering II / coord. por Ralf Lämmel, Joost Visser, Joäo Saraiva, 2007, ISBN 978-3-540-88642-6, págs. 134-196
Advanced functional programming: Third International School, AFP'98, Braga, Portugal, September 12-19, 1998 : revised lectures
S. Doaitse Swierstra, José N. Oliveira, Pedro R. Henriques
Berlin [etc. : Springer, [1999. ISBN 3-540-66241-3
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