Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.
Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios.
Crie uma conta gratuitamente
Contacto
Como comprar
Ajuda
Entrega
Correio DHL 7.99 €
Correio DPD 4.49 €
Correio MRW 3.99 €
Ponto DPD 3.99 €
Guia de compras
A minha conta
▸
Vazio :-(
0
Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.
Software Engineering and Formal Methods
13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Língua
Inglês
Inglês
Livro
Capa mole
This book constitutes the refereed proceedings of the 12th International Conference on Software Engi...
Descrição completa
Código Libristo: 09480142
?
111 b
111 b
46.03
€
Armazenamento externo
Envio em 5-8 dias
Política de devolução de 30 dias
Os clientes também compraram
This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015.§The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation.
Atriz
&
Poliglota
EWA KASP
para
Reproduzir vídeo
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.
Sobre o livro
Nome completo
Software Engineering and Formal Methods
Autor
Radu Calinescu, Bernhard Rumpe
Língua
Inglês
Inglês
Encadernação
Livro - Capa mole
Data de emissão
2015
Número de páginas
369
EAN
9783319229683
ISBN
3319229680
Código Libristo
09480142
Editoras
Springer International Publishing AG
Peso
5796
Dimensões
155 x 235 x 23
Categorias
Informática & tecnologia da informação
>
Programação & engenharia informática
>
Compiladores e intérpretes
Informática & tecnologia da informação
>
Programação & engenharia informática
>
Linguagens de programação e escrita: generalidades
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatárioTambém pode estar interessado em
/
Livro de capa dura
150.75
€
