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 € Correio MRW 3.99 € Ponto DPD 3.99 €
phone Contacto phoneComo comprar

Formal Methods and Software Engineering

13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Formal Methods and Software Engineering Shengchao Qin
Código Libristo: 01659032
Editoras Springer, Berlin, novembro 2010
This book constitutes the refereed proceedings of the 13th International Conference on Formal Engine... Descrição completa
? points 111 b
45.97 €
Armazenamento externo Envio em 8-11 dias

Política de devolução de 30 dias

Os clientes também compraram

Il Devoto-Oli dei sinonimi e contrari. Con analoghi, generici, inversi e gradazioni semantiche Maurizio Trifone / Livro Capa mole
common.buy 72.44 €
Akademia owoce Opracowanie zbiorowe / Livro Capa mole
common.buy 2.01 €
Poesies Choisies Et Pieces Inedites d'Alexis Piron PIRON-A / Livro Capa mole
common.buy 22.52 €
Die «andere» Familie Arbeitskreis "Repräsentationen" / Livro Livro de capa dura
common.buy 103.47 €
Commentaria in decem Categorias Aristotelis Simplicius / Livro Livro de capa dura
common.buy 143.99 €

This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting.

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 and Software Engineering
Autor Shengchao Qin, Zongyan Qiu
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2011
Número de páginas 670
EAN 9783642245589
ISBN 3642245587
Código Libristo 01659032
Editoras Springer, Berlin
Peso 1143
Dimensões 155 x 235 x 35

Categorias

Informática & tecnologia da informação > Equipamento informático > Equipamento em rede
Informática & tecnologia da informação > Programação & engenharia informática > Algoritmos e estruturas de dados
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
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

Paragraph Writing Jo Ellen Moore / Livro Capa mole
common.buy 11.61 €
Masonic Tour Guide - Volume 2 DANIEL HANTTULA / Livro Capa mole
common.buy 17.37 €
At The End Of The Day William J Epp / Livro Capa mole
common.buy 16.36 €
The Keys Are Gone: A simple critique of the English Standard Version (ESV) Dr Daniel S Haifley / Livro Capa mole
common.buy 7.97 €
Principal
Ruhnama: The Book of the Soul (Annotated Version) Saparmyrat Turkmenbasy / Livro Capa mole
common.buy 8.78 €
Vogue x Music Magazine Vogue / Livro Livro de capa dura
common.buy 60.32 €
Jean Prouvé Jean Prouvé / Livro Livro de capa dura
common.buy 21.72 €
Die verlore bokkie (Afrikaans) Amanda Jesperson / Livro Capa mole
common.buy 5.24 €
Classification of the Bantu Languages bound with Bantu Word Division Malcolm Guthrie / Livro Capa mole
common.buy 45.36 €
Iron Ship-Building - With Practical Illustrations John Grantham / Livro Livro de capa dura
common.buy 31.11 €
Odes Sharon Olds / Livro Capa mole
common.buy 12.12 €
Speakout Advanced 2nd Edition Students' Book and DVD-ROM Pack Antonia Clare / Livro Capa mole
common.buy 29.50 €
Impact of the Environment on Psychiatric Disorder Hugh Freeman / Livro Livro de capa dura
common.buy 80.43 €
Arab and Arab American Feminisms Rabab Ibrahim Abdulhadi / Livro Livro de capa dura
common.buy 31.11 €

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