Formal Methods in Computer Science - Textbooks in Mathematics - Jiacun Wang - Livros - Taylor & Francis Ltd - 9780367225704 - 25 de junho de 2019
Caso a capa e o título não sejam correspondentes, considere o título como correto

Formal Methods in Computer Science - Textbooks in Mathematics 1º edição

Jiacun Wang

Preço
€ 216,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 9 - 18 de dez
Presentes de Natal podem ser trocados até 31 de janeiro
Adicione à sua lista de desejos do iMusic

Também disponível como:

Formal Methods in Computer Science - Textbooks in Mathematics 1º edição

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.


294 pages, 29 Tables, black and white; 154 Illustrations, black and white

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 25 de junho de 2019
ISBN13 9780367225704
Editoras Taylor & Francis Ltd
Páginas 294
Dimensões 566 g
Idioma English  

Mostrar tudo

Mais por Jiacun Wang