10% de desconto

Formal Software Development eBook

From Vdm To Java

de Aaron Kans e Quentin Charatan
idioma: inglês
Editor: BLOOMSBURY PUBLISHING, setembro de 2003 ‧
89,42€
10% DESCONTO CARTÃO
DISPONIBILIDADE IMEDIATA
Ebook para ADE
This gently-paced software engineering text concentrates on the use of formal methods for the development of high integrity software. The book contains examples and exercises throughout and is supported by a dedicated web site.

Formal Software Development

From Vdm To Java

de Aaron Kans e Quentin Charatan

Propriedade Descrição
ISBN: 9780230005860
Editor: BLOOMSBURY PUBLISHING
Data de Lançamento: setembro de 2003
Idioma: Inglês
Páginas: 256
Tipo de produto: eBook
Formato e Compatibilidade: PDF para ADE
Classificação Temática: eBooks em Inglês > Informática > Programação
EAN: 9780230005860