Outros

Logic Based Program Synthesis And Transformation

13th International Symposium Lopstr 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers

 

Bertrand.pt - Logic Based Program Synthesis And Transformation
idioma: Inglês
Editor: Springer Nature B.V.
Edição: março de 2014
51,49€
Esgotado ou não disponível
RESERVAR NA LIVRARIA Livrarias

Da mesma coleção

ver +
Matrix Inequalities
51,49€
Springer Nature B.V.
Model-Checking Based Data Retrieval
Logic Based Program Synthesis And Transformation
13th International Symposium Lopstr 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers
ISBN:
9783662175088
Ano de edição:
03-2014
Editor:
Springer Nature B.V.
Idioma:
Inglês
Dimensões:
156 x 234 x 20 mm
Encadernação:
Capa mole
Páginas:
248
Tipo de Produto:
Livro
Coleção:
O. Sauerstoff. Oxygen (System-Nr. 3)
Classificação Temática:
Livros  >  Livros em Inglês  >  Outros

EAN:
9783662175088
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.