Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios.
Crie uma conta gratuitamente
Contacto
Como comprar
Ajuda
Entrega
Correio DHL 7.99 €
Correio DPD 4.49 €
Correio MRW 3.99 €
Ponto DPD 3.99 €
Guia de compras
A minha conta
▸
Vazio :-(
0
Deductive verification of object-oriented software
dynamic frames, dynamic logic and predicate abstraction
Língua
Inglês
Inglês
Livro
Capa mole
Software systems play a central role in modern society, and their correctness is often crucially imp...
Descrição completa
Código Libristo: 01877574
?
62 b
62 b
25.72
€
Armazenamento externo
Envio em 8-11 dias
Política de devolução de 30 dias
Os clientes também compraram
/
Capa mole
41.92
€
Software systems play a central role in modern society, and their correctness is often crucially important. Formal specification and verification are promising approaches for ensuring correctness more rigorously than just by testing. This work presents an approach for deductively verifying design-by-contract specifications of object-oriented programs. The approach is based on dynamic logic, and addresses the challenges of modularity and automation using dynamic frames and predicate abstraction.
Atriz
&
Poliglota
EWA KASP
para
Reproduzir vídeo
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.
Sobre o livro
Nome completo
Deductive verification of object-oriented software
Autor
Benjamin Weiß
Língua
Inglês
Inglês
Encadernação
Livro - Capa mole
Data de emissão
2014
Número de páginas
292
EAN
9783866446236
Código Libristo
01877574
Editoras
Karlsruher Institut Fur Technologie
Peso
467
Dimensões
170 x 244 x 16
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
/
Livro de capa dura
33.51
€
/
Capa mole
15.59
€
