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 and Software Engineering

15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Formal Methods and Software Engineering Lindsay Groves
Código Libristo: 02084745
Editoras Springer, Berlin, novembro 2012
This book constitutes the refereed proceedings of the 15th International Conference on Formal Engine... Descrição completa
? points 132 b
54.14 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

JE COLORIE A L'INFINI - FERME Livro binding.
common.buy 10.26 €
Impact économique et social de la privatisation au Pakistan Muhammad Ahsen / Livro Capa mole
common.buy 22.64 €
Diario sereto de Pulgarcito Philippe Lechermeier / Livro Capa mole
common.buy 21.93 €
ENDODONCIA ROTATORIA EN DIENTES PRIMARIOS Mukesh Kumar / Livro Capa mole
common.buy 64.61 €
Pars, cours ! Alice Verret Aimee Verret / E-book Adobe ePub DRM
common.buy 8.65 €
Goebekli Tepe Harry Eilenstein / Livro Capa mole
common.buy 30.89 €
PROTEUS VOLUMES 1 ET 2 LOUIS RAFFIN Livro Capa mole
common.buy 33.61 €
Organizacao familiar agricola Raquel Silvestrin Zanon / Livro Capa mole
common.buy 37.43 €
Abgründe des Alltags Silja Kyrada / Livro Capa mole
common.buy 9.05 €
Sonaten für Violine und Klavier Nurit/Pescia Stark / Áudio CD de áudio
common.buy 25.15 €
De la création ? la saturation du concept : L'esthétique relationnelle Fiona Vilmer / Livro Capa mole
common.buy 67.43 €

This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013. The 28 revised full papers together with 2 keynote speeches presented were carefully reviewed and selected from 88 submissions. The topics covered are abstraction and refinement, formal specification and modeling, program analysis, software verification, formal methods for software safety, security, reliability and dependability, tool development, integration and experiments involving verified systems, formal methods used in certifying products under international standards, and formal model-based development and code generation.

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 Lindsay Groves, Jing Sun
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2013
Número de páginas 466
EAN 9783642412011
ISBN 3642412017
Código Libristo 02084745
Editoras Springer, Berlin
Peso 735
Dimensões 154 x 234 x 24

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

Advances in Cryptology - ASIACRYPT 2002 Yuliang Zheng / Livro Capa mole
common.buy 54.14 €
Post-Qualitative Research and Innovative Methodologies Mark Murphy / Livro Livro de capa dura
common.buy 163.76 €
Seven Black Diamonds Melissa Marr / Livro Capa mole
common.buy 8.34 €
Ketchup with the Jessup's Carissa Bryant / Livro Capa mole
common.buy 20.02 €
Wineocology Caitlin Stansbury / Livro Capa mole
common.buy 21.53 €
Identity and Personhood Laurance Joseph Splitter / Livro Capa mole
common.buy 54.14 €
Coppee and Maupassant Tales Arnold Guyot Cameron / Livro Capa mole
common.buy 20.73 €
Laws and Courts of the Massachusetts Bay Colony: A Paper Read Before the Bostonian Society, Council Chamber, Old State House, December 20, 1910. Frank E Bradbury / Livro Capa mole
common.buy 12.57 €
Marius and the Cloud: A tale about homosexuality for children Raquel Huete Iglesias / Livro Capa mole
common.buy 12.57 €
Lonely Planet New Zealand Planet Lonely / Livro Capa mole
common.buy 33.31 €
Contested Criminalities in Zimbabwean Fiction Tendai Mangena / Livro Livro de capa dura
common.buy 250.43 €
The Ultimate Teacher Gift: A Humorous Middle Grade Novel Cailey Appenzeller / Livro Capa mole
common.buy 7.64 €
Speech of the Hon. Henry Clay, on the Subject of the Removal of the Deposites; Delivered in the Senate of the United States, December 26, 30, 1833 Clay / Livro Livro de capa dura
common.buy 29.58 €
Matzah Balls to Communion Wafers Gail Baker / Livro Livro de capa dura
common.buy 32.50 €
Quiche Cookbook: Delicious Quiche Recipes that Will Create the Perfect Breakfast or Brunch Dish Stephanie Sharp / Livro Capa mole
common.buy 12.97 €
Winter Honeymoon Jacob M. Appel / Livro Capa mole
common.buy 16.20 €
Sun Wordsearch Book 8 The Sun / Livro Capa mole
common.buy 9.65 €
Digital Marketing for Doctors Dibakar Bala / Livro Capa mole
common.buy 15.49 €
Sexual Reminisces Rare Diamond / E-book Adobe ePub DRM
common.buy 6.33 €
Bungo Stray Dogs: Wan!, Vol. 11 Kevin Gifford / Livro Capa mole
common.buy 10.56 €
When Someone You Love Has Cancer Cathy Barker / Livro Livro de capa dura
common.buy 17.40 €
Principal
Strange Case of Dr Jekyll and Mr Hyde Stevenson / Livro Capa mole
common.buy 4.82 €
Titanic Stephanie Barczewski / Livro Capa mole
common.buy 41.16 €
Principal
Mobile Suit Gundam: The Origin 3 Yoshikazu Yasuhiko / Livro Livro de capa dura
common.buy 22.94 €

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?