10% de desconto

Specification And Proof In Real Time Csp

de Jim (University Of Oxford) Davies
idioma: inglês
Editor: CAMBRIDGE UNIVERSITY PRESS, Janeiro de 2012 ‧
74,35€
10% DESCONTO CARTÃO
portes grátis
Venda o seu livro
Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. It is important therefore that we are able to employ mathematical techniques to specify the behaviour of critical safety systems. The research contained in this book represents work on the specification and verification of real-time systems.

Specification And Proof In Real Time Csp

de Jim (University Of Oxford) Davies

Propriedade Descrição
ISBN: 9781107403864
Editor: CAMBRIDGE UNIVERSITY PRESS
Data de Lançamento: Janeiro de 2012
Idioma: Inglês
Encadernação: Capa mole
Páginas: 200
Tipo de produto: Livro
Coleção: Distinguished Dissertations In Computer Science
Classificação Temática: Livros em Inglês > Informática > Outras Aplicações
EAN: 9781107403864

LIVROS DA MESMA COLEÇÃO