30% de desconto

Concise Guide To Software Verification

From Model Checking To Annotation Checking

de Anton Wijs e Marieke Huisman
Livro eBook
idioma: inglês
Editor: Springer International Publishing AG, julho de 2023 ‧
101,38€
70,97€
30% DESCONTO IMEDIATO
portes grátis
Venda o seu livro

Concise Guide To Software Verification

From Model Checking To Annotation Checking

de Anton Wijs e Marieke Huisman

Propriedade Descrição
ISBN: 9783031301667
Editor: Springer International Publishing AG
Data de Lançamento: julho de 2023
Idioma: Inglês
Dimensões: 155 x 235 x 20 mm
Encadernação: Capa dura
Páginas: 248
Tipo de produto: Livro
Coleção: Texts In Computer Science
Classificação Temática: Livros em Inglês > Ciências Exatas e Naturais > Matemática
Livros em Inglês > Outros
EAN: 9783031301667

LIVROS DA MESMA COLEÇÃO