Gómez Martínez, Mª Elena
Your browser has limited support for third-party cookies, which may prevent you from viewing this content. If you run into problems, you can view the content in a
new window.
-
Pierce, B (2002) Types and programming languages
-
Pierce, B (2002) Types and programming languages [Libro-e]
-
Nielson, F; Nielson, H. R; Hankin, C (2005) Principles of program analysis
-
Nielson, F; Nielson, H. R; Hankin, C (2005) Principles of program analysis [Libro_e]
-
Kroeing, D; Strichman, O (2016) Decision procedures : an algorithmic point of view [Libro-e]
-
Rossi, F; Van Beek, P; Walsh, T (2006) Handbook of constraint programming
-
Rossi, F; Van Beek, P; Walsh, T (2006) Handbook of constraint programming [Libro-e]
-
KR Apt (2003) Principles of constraint programming
-
Marriot, K; Stuckey, P (1998), Programming with constraints : an introduction
-
Frühwirth, T; Addennadher, S (2003) Essentials of constraint programming
-
Frühwirth, T; Addennadher, S (2003) Essentials of constraint programming [Libro-e]
-
Dafny reference manual [Sitio web]
-
Xavier Rival, K. (2020), Introduction to static analysis : an abstract interpretation perspective
Conozco y acepto que el uso de los materiales contenidos en estas guías se realiza con finalidad de estudio, de apoyo a la docencia y la investigación. Se respetarán las condiciones de uso y contratación de cada uno de los recursos.
