Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
- software verification 2
- theorem proving
- Artificial Intelligence 1
- Artificial intelligence 1
- Computer Science Logic and Foundations of Programming 1
- Computer architecture & logic design 1
- Computer programming / software development 1
- Computer programming / software engineering 1
- Formal Languages and Automata Theory 1
- Logics and Meanings of Programs 1
- Mathematical Logic and Formal Languages 1
- Mathematical theory of computation 1
- Software Engineering 1
- abstract interpretation 1
- automata theory 1
- boolean functions 1
- computer programming 1
- design by contract 1
- first order logic 1
- formal languages 1
- formal logic 1
- logic programming 1
- model checking 1
- program verification 1
- semantics 1
- software architecture 1
- software design 1
- software quality 1
- software specification 1
- theorem provers 1
-
1
-
2Publicado 2011Libro electrónico
