Capa do artigo Building High Integrity Applications With Spark

Building High Integrity Applications With Spark

de John W. (University Of Northern Iowa) Mccormick e Peter C. Chapin
idioma: inglês
Editor: CAMBRIDGE UNIVERSITY PRESS, agosto de 2015 ‧
ESGOTADO OU NÃO DISPONÍVEL
Venda o seu livro
The formally defined programming language SPARK provides a means to guarantee that a computer program has no errors. This makes it a natural system for designing safety- and security-critical applications. This first introduction to SPARK 2014 will allow students and developers to master the basic concepts for building systems with SPARK.

Building High Integrity Applications With Spark

de John W. (University Of Northern Iowa) Mccormick e Peter C. Chapin

Propriedade Descrição
ISBN: 9781107040731
Editor: CAMBRIDGE UNIVERSITY PRESS
Data de Lançamento: agosto de 2015
Idioma: Inglês
Dimensões: 152 x 228 x 20 mm
Encadernação: Capa dura
Páginas: 382
Tipo de produto: Livro
Classificação Temática: Livros em Inglês > Informática > Outras Aplicações
Livros em Inglês > Outros
EAN: 9781107040731

JOHN W. (UNIVERSITY OF NORTHERN IOWA) MCCORMICK

VER MAIS TÍTULOS DESTE AUTOR

PETER C. CHAPIN

VER MAIS TÍTULOS DESTE AUTOR