Deductive Verification Of Object-Oriented Software

Dynamic Frames, Dynamic Logic And Predicate Abstraction

de Benjamin Weiss 

Bertrand.pt - Deductive Verification Of Object-Oriented Software
idioma: Inglês
Editor: Karlsruher Institut Fur Technologie
Edição: agosto de 2014
38,63€
Esgotado ou não disponível
Deductive Verification Of Object-Oriented Software
Dynamic Frames, Dynamic Logic And Predicate Abstraction
ISBN:
9783866446236
Ano de edição:
08-2014
Editor:
Karlsruher Institut Fur Technologie
Idioma:
Inglês
Dimensões:
170 x 244 x 15 mm
Encadernação:
Capa mole
Páginas:
292
Tipo de Produto:
Livro
Classificação Temática:
EAN:
9783866446236
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.