Outras Aplicações

Building High Integrity Applications With Spark

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

Bertrand.pt - Building High Integrity Applications With Spark
idioma: Inglês
Editor: CAMBRIDGE UNIVERSITY PRESS
Edição: agosto de 2015
175,74€
Esgotado ou não disponível
RESERVAR NA LIVRARIA Livrarias

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 Peter C. Chapin e John W. (University Of Northern Iowa) Mccormick 
ISBN:
9781107040731
Ano de edição:
08-2015
Editor:
CAMBRIDGE UNIVERSITY PRESS
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  >  Livros em Inglês  >  Informática  >  Outras Aplicações

Livros  >  Livros em Inglês  >  Outros

EAN:
9781107040731

Dos mesmos autores

Building High Integrity Applications With Spark
10%
portes grátis
10% Cartão Leitor Bertrand
73,00€
Poupe 7,30€
CAMBRIDGE UNIVERSITY PRESS
Building High Integrity Applications With Spark
10%
portes grátis
10% Cartão Leitor Bertrand
73,00€
Poupe 7,30€
CAMBRIDGE UNIVERSITY PRESS
Building Parallel, Embedded, And Real-Time Applications With Ada
10%
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.