10% de desconto

Formal Methods In Computer Science eBook

de William Tepfenhart e Jiacun Wang
idioma: inglês
Editor: CRC PRESS, junho de 2019 ‧
107,31€
10% DESCONTO CARTÃO
DISPONIBILIDADE IMEDIATA
Ebook para ADE
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.

Formal Methods In Computer Science

de William Tepfenhart e Jiacun Wang

Propriedade Descrição
ISBN: 9781498775359
Editor: CRC PRESS
Data de Lançamento: junho de 2019
Idioma: Inglês
Tipo de produto: eBook
Formato e Compatibilidade:
Coleção: Textbooks In Mathematics
Classificação Temática: eBooks em Inglês > Ciências Exatas e Naturais > Matemática
EAN: 9781498775359
Acessibilidade: Ver características de acessibilidade indicadas pelo editor