Contacto
Como comprar
Entrega
Guia de compras
Inglês
308 b
Política de devolução de 30 dias
Os clientes também compraram
/
Capa mole
25.61
€
The book introduces a mathematical framework for software testing, with emphasis on the impact of the programming paradigm used for program development. It provides the foundations for systematic testing of logic programs, comprising program instrumentation techniques and novel test coverage measures for declarative programs. The book also describes novel approaches to test declarative programs, notably logic programs.§Testing concepts suitable for automated test case generation are developed with mathematical rigor. Algorithms for test case generation are presented and test complexity is analysed. Besides theoretical foundations, the book addresses engineering aspects of software testing and describes a tool for automated testing of logic programs.
Sobre o livro
Inglês
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatárioTambém pode estar interessado em
/
Capa mole
51.84
€
/
Livro de capa dura
56.80
€
/
Capa mole
5.66
€
Olá! Sou o Libroamiko, o seu conselheiro de livros.
Como posso ajudar?