An Introduction To Discrete Mathematics, Formal System Specification, And Z

de Ince
idioma: inglês
Editor: Oxford University Press, fevereiro de 1993 ‧
ESGOTADO OU NÃO DISPONÍVEL
Venda o seu livro
Formal specification is the name given to the use of discrete mathematics in computer science for describing the function of both hardware and software systems. This textbook is an introduction to both the theory and practice of formal specification.

An Introduction To Discrete Mathematics, Formal System Specification, And Z

de Ince

Propriedade Descrição
ISBN: 9780198538363
Editor: Oxford University Press
Data de Lançamento: fevereiro de 1993
Idioma: Inglês
Encadernação: Capa mole
Páginas: 296
Tipo de produto: Livro
Coleção: Oxford Applied Mathematics And Computing Science Series
Classificação Temática: Livros em Inglês > Ciências Exatas e Naturais > Matemática
EAN: 9780198538363