Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
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
0
Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €
phone Contacto phoneComo comprar

Formal Methods: Foundations and Applications

18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Formal Methods: Foundations and Applications Márcio Cornélio
Código Libristo: 02893181
Editoras Springer International Publishing AG, janeiro 2016
This book§constitutes revised selected papers from the 18 th Brazilian Symposium§on Formal Methods,... Descrição completa
? points 105 b
43.67 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Orkus - Reise zu den Toten Gerhard Roth / Livro Capa mole
common.buy 22.49 €
Nouvelles Et Galanteries Chinoises Tome 2 De Villedieu-M-C-H / Livro Capa mole
common.buy 20.46 €
Du Cholera-Morbus, Ou de l'Asthenie Des Organes Gastriques BOUMARD-A / Livro Capa mole
common.buy 13.67 €
Barneko Liburua (Fihi Ma Fihi) Rumi / Livro Livro de capa dura
common.buy 19.65 €
Synthese von neuen Ibuprofen-Derivaten Rafea Almajeed / Livro Capa mole
common.buy 29.48 €
DSA4 - Wege der Zauberei (remastered) Anton Weste / Livro Capa mole
common.buy 53.50 €

This book§constitutes revised selected papers from the 18 th Brazilian Symposium§on Formal Methods, SBMF 2015, which took place in Belo Horizonte, MG, Brazil,§in September 2015.§§The 11 papers presented in this volume were carefully reviewed and selected§from 25 submissions. They were organized in topical sections named: model§checking; languages and semantics; refinement and verification; testing and§evaluation.§

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Formal Methods: Foundations and Applications
Autor Márcio Cornélio, Bill Roscoe
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2016
Número de páginas 195
EAN 9783319294728
ISBN 3319294725
Código Libristo 02893181
Editoras Springer International Publishing AG
Peso 3343
Dimensões 155 x 235 x 10

Categorias

Informática & tecnologia da informação > Ciência informática > Interação homem-computador > Arquitetura da informação
Informática & tecnologia da informação > Equipamento informático > Manutenção e reparações
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
Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas
Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática
Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica
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ário

Também pode estar interessado em

Practising Interdisciplinarity Nico Stehr / Livro Livro de capa dura
common.buy 112.38 €
Message of the President of the United States and Accompanying Documents, Etc, Volume 1, Part 12 United States War Dept / Livro Livro de capa dura
common.buy 41.85 €
Make Your Own Game Apps - For Kids: Make Your Own Game Apps - For Kids Krishna Balwalli / Livro Capa mole
common.buy 14.08 €
Learning Fractions Using LEGO Bricks: Student Edition Dr Shirley Disseler / Livro Capa mole
common.buy 15.90 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?