|
Bibliografía básica
|
Mordechai Ben-Ari (2012). Mathematical Logic for Computer Science. Springer
Ron Patton (2001). Software testing. Sams
Peter Farrell-Vinay (2008). Manage software testing. Auerbach
Kent Beck (2002). Test Driven Development (By Example). Addison-Wesley
Hébert, Fred (2019). Property-based testing with PropEr, Erlang, and Elixir : find bugs before your users do. The Pragmatic Bookshelf
Gerard J. Holzmann (2003). The SPIN model checker: primer and reference manual. Addison-Wesley
Mordechai Ben-Ari (2001). Mathematical Logic for Computer Science. Springer
Zohar Manna and Amir Pnueli (1991). The Temporal Logic of Reactive and Concurrent Systems. Specification. Springer
Zohar Manna and Amir Pnueli (1995). The Temporal Logic of Reactive and Concurrent Systems. Safety. Springer
|
Asignaturas