Deductive Verification Of Object-Oriented Software

Name: Deductive Verification Of Object-Oriented Software
Price: 38.63 EUR
Author: Benjamin Weiss
ISBN: 9783866446236

Dynamic Frames, Dynamic Logic And Predicate Abstraction

de Benjamin Weiss

idioma: inglês

Editor: Karlsruher Institut Fur Technologie, agosto de 2014 ‧ ver detalhes do produto

(0)

ESGOTADO OU NÃO DISPONÍVEL

Deductive Verification Of Object-Oriented Software

Dynamic Frames, Dynamic Logic And Predicate Abstraction

de Benjamin Weiss
Propriedade	Descrição
ISBN:	9783866446236
Editor:	Karlsruher Institut Fur Technologie
Data de Lançamento:	agosto de 2014
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:	Livros em Inglês > Outros
EAN:	9783866446236