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

17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Formal Methods and Software Engineering Michael Butler
Código Libristo: 09535572
Editoras Springer International Publishing AG, novembro 2015
This book constitutes the refereed proceedings of the 17th International§Conference on Formal Engine... Descrição completa
? points 132 b
54.51 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Historia del convento de Ntra.Sra.del Rosario de Oviedo TABOADA / Livro Capa mole
common.buy 39.72 €
Max von Schenkendorf E. Heinrich / Livro Capa mole
common.buy 33.13 €
Histoire Du Plebiscite: Le Plebiscite Dans L'Antiquite (1887) Charles Borgeaud / Livro Capa mole
common.buy 25.63 €
Druhá derivace touhy Na prahu digitální teologie Tomáš Sedláček / Livro Livro de capa dura
common.buy 12.66 €
Peche a la lune (La) DUBOIS / Livro Capa mole
common.buy 8.60 €
LA NATURE EN LANGUEDOC-ROUSSILLON LEGENDRE / Livro Livro
common.buy 15.19 €
Entstehung und Entwicklung des nationalsozialistischen Denkens in OEsterreich. Eine Analyse von Martin Pollacks "Der Tote im Bunker. Bericht uber mein Kacper Piontkowski / Livro Capa mole
common.buy 22.49 €
Jak přemýšlí náš teenager? Tanith Careyová / Livro Capa mole
common.buy 16.81 €
Ich und du 5 podręcznik +CD /2012 Marta Kozubska Livro Capa mole
common.buy 9.21 €
Appuntamento a Positano Goliarda Sapienza / Livro Capa mole
common.buy 14.38 €
Don Chisciotte in Sicilia Roberto Mandracchia / Livro Capa mole
common.buy 17.42 €
Biotechs A Schneider / Livro Capa mole
common.buy 13.47 €
Essai Philosophique Sur Le Corps Humain: Pour Servir de Suite A La Philosophie de la Nature. V2 Jean Baptiste Claude Delisle De Sales / Livro Capa mole
common.buy 28.06 €
de l'Utilite Des Colonies Pour La France Et Du Systeme Des Douanes Applique Aux Denrees Coloniales Ambert-J / Livro Capa mole
common.buy 14.38 €
Les Femmes Du Nouveau Monde (Nouv. Ed.) Eyma-X / Livro Capa mole
common.buy 24.01 €
Hunger auf Leben Brigitte Reimann / Livro Capa mole
common.buy 7.79 €
De ejercicios con sor Isabél de Meester / Livro Capa mole
common.buy 12.66 €
La Peor Seqora del Mundo Francisco Hinojosa / Livro Capa mole
common.buy 6.17 €
Cacographie Rangee Dans Un Nouvel Ordre, Ou Exercices Sur l'Orthographe Lequien-E-A / Livro Capa mole
common.buy 18.03 €
Herzvibrieren Josie Kju / Livro Capa mole
common.buy 12.56 €
Die Geschichte des Gil Blas von Santillana Alain René Le Sage / Livro Capa mole
common.buy 33.13 €
Speculum Saxonum Ius municipale / Livro Livro de capa dura
common.buy 5.87 €
Auf dass wir klug werden Anja Zimmer / Livro Capa mole
common.buy 17.22 €
Adolf Hitler Volker Ullrich / Livro Livro de capa dura
common.buy 27.66 €

This book constitutes the refereed proceedings of the 17th International§Conference on Formal Engineering Methods, ICFEM 2015, held in Paris,§France, in November 2015. The 27 revised full papers presented were§carefully reviewed and selected from 82 submissions. The papers cover a wide§range of topics in the area of formal methods and software engineering and are§devoted to advancing the state of the art of applying formal methods in§practice. They focus in particular on combinations of conceptual and§methodological aspects with their formal foundation and tool support.

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 Michael Butler, Sylvain Conchon, Fatiha Za?di
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2015
Número de páginas 436
EAN 9783319254227
ISBN 3319254227
Código Libristo 09535572
Editoras Springer International Publishing AG
Peso 6964
Dimensões 155 x 235 x 236

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

Evolution Driven by Organismal Behavior Rui Diogo / Livro Livro de capa dura
common.buy 34.14 €
Neurobrucellosis Mehmet Turgut / Livro Livro de capa dura
common.buy 106.50 €
Pearson REVISE 11+ English Practice Book 1 Helen Thomson / Livro Capa mole
common.buy 15.09 €
American Game Fishes; Their Habits, Habitat and Peculiarities; George O. ]. 1846- [From Old C [Shields / Livro Livro de capa dura
common.buy 39.21 €
Tecumseh's Last Stand John Peter Sugden / Livro Capa mole
common.buy 24.41 €
Asi Se Dice! Level 1a, Student Edition McGraw-Hill Education / Livro Livro de capa dura
common.buy 122.62 €
A California Explorer: Five years contributions to California Explorer Magazine Meade Fischer / Livro Capa mole
common.buy 10.23 €
Questions and Answers on Bills, Notes, and Checks. E Richard Shipp / Livro Capa mole
common.buy 13.98 €
The McGregor Chronicles: Book 2 - Escape from Eden Larry K Collins / Livro Capa mole
common.buy 12.35 €
Top Fermented Vegetable Recipes: A Step-by-Step Guide for Kimchi, Krauts, and Ot Lisa Young / Livro Capa mole
common.buy 7.29 €
Music Theory for Singers Level One SANDVIG / Livro Capa mole
common.buy 26.54 €
Multi-GHz Frequency Synthesis & Division Hamid R. Rategh / Livro Capa mole
common.buy 114.71 €
Rise of the Necrofauna Britt Wray / Livro Capa mole
common.buy 15.50 €
The Kama Sutra Vatsyayana / Livro Capa mole
common.buy 14.89 €
Ritual Baths Deborah Hanekamp / Livro Livro de capa dura
common.buy 23.20 €
The Swedish Revolution Under Gustavus Vasa (1889) Paul Barron Watson / Livro Capa mole
common.buy 30.09 €
Gwendoline's Harvest: A Novel... James Payn / Livro Capa mole
common.buy 22.89 €
Two Towers John Ronald Reuel Tolkien / Livro Capa mole
common.buy 12.25 €
Obturating Materials for Decidouos Dentition Deepti Jawa / Livro Capa mole
common.buy 41.54 €
My Family Puzzle - Country Life Olivia Gibbs / Jogo/brinquedo Jogo
common.buy 16.10 €
Blood Brothers Beyond Rob J Hayes / Livro Livro de capa dura
common.buy 22.29 €
Voice Biomarkers Shinichi Tokuno / Livro Livro de capa dura
common.buy 138.33 €
The Heroic Legend of Arslan 22 Hiromu Arakawa / Livro Capa mole
common.buy 9.21 €
Thermo-Hydraulics of Nuclear Reactors Christopher Earls Brennen / Livro Livro de capa dura
common.buy 73.06 €

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?