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

Software Engineering and Formal Methods

9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Software Engineering and Formal Methods Gilles Barthe
Código Libristo: 01659065
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, outubro 2011
This book constitutes the refereed proceedings of the 9th International Conference on Software Engin... Descrição completa
? points 125 b
51.52 €
50% de hipóteses Procuremos no mundo Quando vou receber o meu livro?

Até 30 dias para devoluções

Os clientes também compraram

ROMANCE DE L'AVENT - UN C?UR POUR NOËL Sophie JOMAIN / Livro Livro
common.buy 20.90 €
Ako funguje hasičské auto? Lara Bryan / Livro Livro concertina
common.buy 8.38 €
Jak myšák Felix zachránil Vánoce Alex T. Smith / Livro Livro de capa dura
common.buy 11.71 €
Starken und Schwachen agiler Softwareentwicklungsmodelle Thomas Ecker / Livro Capa mole
common.buy 44.44 €
TENEBRIS Michaela Brnková / Livro Capa mole
common.buy 13.12 €
Technika Pracovný zošit pre 6. ročník ZŠ Eleonóra Boocová / Livro Capa mole
common.buy 2.21 €
PLAY GUITAR TODAY SPIEL GITARRE (DVD) (DVD) Livro binding.
common.buy 24.54 €
Idrissa Kaba une histoire de vie. Témoignage Mamoudou Kabala Kabiné Kaba / Livro Capa mole
common.buy 9.49 €
Perros detectores de cadáveres CAT WARREN / Livro Livro de capa dura
common.buy 22.62 €
Kirchliche Hochschulen Ulrich Rhode / Livro Livro de capa dura
common.buy 47.17 €
VW Käfer 1200/1300/1500/1302/S/1303/S alle Modelle ab August '69 Dieter Korp / Livro Livro
common.buy 27.57 €
Mein musikalisches Bilderbuch (Bd. 2) - Ferdinand sucht einen Freund Maria Köhnen / Livro Livro de capa dura
common.buy 11.91 €
La medicina compostelana (1847-1950) AVELINO FRANCO GRANDE / Livro Capa mole
common.buy 76.07 €
El ojo del espíritu : una visión integral para un mundo que está enloqueciendo poco a poco Ken Wilber / Livro Capa mole
common.buy 28.68 €
Türk Siyasetinin Yapisal Analizi 1 Hasan Bülent Kahraman / Livro Capa mole
common.buy 8.68 €
Le Role de la France Au Maroc Romagny-J / Livro Capa mole
common.buy 15.75 €

This book constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Montevideo, Uruguay, in November 2011. §The 22 revised regular papers presented together with 1 short paper, 2 tool papers, and 4 keynote talks were carefully reviewed and selected from 105 initial abstracts and 85 full submissions. Besides the regular session the conference held a special track devoted to "Modeling for Sustainable Development" with 5 accepted papers - selected from 7 submissions - that are also part of this volume. The aim of SEFM is to advance the state of the art in formal methods, to scale up their application in software industry and to encourage their integration with practical engineering methods.

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 Software Engineering and Formal Methods
Autor Gilles Barthe, Alberto Pardo, Gerardo Schneider
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2011
Número de páginas 504
EAN 9783642246890
ISBN 3642246893
Código Libristo 01659065
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 777
Dimensões 155 x 235 x 30

Categorias

Tecnologia, Engenharia & Agricultura > Eletrónica & engenharia das comunicações > Engenharia eletrónica > Engenharia de controlos automáticos > Robótica
Informática & tecnologia da informação > Equipamento informático > Equipamento em rede
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 > Arquitetura informática e conceção lógica
Informática & tecnologia da informação > Ciência informática > Inteligência artificial
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

Modern Theory of Crystal Growth I A.A. Chernov / Livro Capa mole
common.buy 97.28 €
The House of Barbary Isabelle Schuler / Livro Capa mole
common.buy 14.94 €
The Iceblade Sorcerer Shall Rule the World 6 Nana Mikoshiba / Livro Capa mole
common.buy 8.48 €
The Hymns of Hermes: Echoes from the Gnosis G R S Mead / Livro Capa mole
common.buy 12.72 €
Business Model Innovation DANIELA ANDREINI / Livro Capa mole
common.buy 116.68 €
The Secret Book: Discover the Hidden Treasures Within You Michael Kintalel / Livro Capa mole
common.buy 7.97 €
Briana's Pocket Posh Journal, Chevron Andrews McMeel Publishing / Livro Capa mole
common.buy 6.76 €
Enigma: The Battle for the Code Hugh Sebag-Montefiore / Livro Livro de capa dura
common.buy 25.25 €
Predictive Control for Linear and Hybrid Systems Francesco Borrelli / Livro Livro de capa dura
common.buy 162.25 €
Cambridge English Movers 1 for Revised Exam from 2018 Answer Booklet collegium / Livro Capa mole
common.buy 2.72 €
The Decline of Politics: The Conservatives and the Party System, 1901-1920 John English / Livro Capa mole
common.buy 17.37 €
Positive School Leadership Joseph F. Murphy / Livro Capa mole
common.buy 41.11 €
Janus Conspiracy MICHAEL DAVIES / Livro Capa mole
common.buy 19.99 €
Lucky Luke: The Complete Collection Vol. 2 Goscinny / Livro Livro de capa dura
common.buy 37.27 €
Loud House #10 The Loud House Creative Team / Livro Livro de capa dura
common.buy 11.81 €
Confessions of a Recovering Engineer - Transportation for a Strong Town Charles L. Marohn Jr. / Livro Livro de capa dura
common.buy 17.67 €
New Names for Lost Things Noor Unnahar / Livro Capa mole
common.buy 10.09 €
Fun Games and Activities for kids 4 years + Maryan Ben Kim / Livro Capa mole
common.buy 13.53 €
Tapestry of the Law E. Attwooll / Livro Capa mole
common.buy 97.28 €
Glorious Revolution John Miller / Livro Capa mole
common.buy 54.24 €
Poirot Investigates Agatha Christie / Livro Livro de capa dura
common.buy 14.03 €
Em breve
Dispute Settlement Reports 1998: Volume 2, Pages 233-696 World Trade Organization / Livro Livro de capa dura
common.buy 191.55 €
Making of an Industrial Society David Levine / Livro Livro de capa dura
common.buy 275.61 €
Collected Works of Michal Kalecki: Volume VI: Studies in Applied Economics 1927-1941 Michal Kalecki / Livro Livro de capa dura
common.buy 326.22 €

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?