adicionar à lista de desejos
Concise Guide To Software Verification
From Model Checking To Annotation Checking
idioma: inglês
Editor:
Springer International Publishing AG, julho de 2024 ‧
ver detalhes do produto
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9783031301698 |
| Editor: | Springer International Publishing AG |
| Data de Lançamento: | julho de 2024 |
| Idioma: | Inglês |
| Dimensões: | 155 x 235 x 20 mm |
| Encadernação: | Capa mole |
| 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
|
| EAN: | 9783031301698 |
LIVROS DA MESMA COLEÇÃO
-
Programming Language Design And Implementation30%Springer International Publishing AG61,50€
87,86€portes grátis -
Programming Language Design And Implementation30%Springer International Publishing AG52,04€
74,34€portes grátis