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

15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Formal Methods: Foundations and Applications Rohit Gheyi
Código Libristo: 01662107
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, agosto 2012
This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SB... Descrição completa
? points 109 b
45.09 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Handbuch Der Ziehtechnik Walter Sellin / Livro Capa mole
common.buy 50.26 €
Sindicatos, trade-unions y corporaciones Georges Renard / Livro Capa mole
common.buy 29.08 €
Der Vertrag von Lissabon Waldemar Hummer / Livro Capa mole
common.buy 95.86 €
Die ordentliche Änderungskündigung des Arbeitgebers. Franz X. Wallner / Livro Capa mole
common.buy 86.24 €
Česko-anglický slovník spojení: podstatné jméno a sloveso Norah Hronková / Livro Capa mole
common.buy 15.29 €
Grenzüberschreitende Titelgeltung in der Europäischen Union. Max Christoph Peiffer / Livro Capa mole
common.buy 95.66 €
guerre de 1870, memoires. 8e edition Helmuth von Moltke / Livro Capa mole
common.buy 30.09 €
A Química Da Memória: Por Que OS Humanos N?o Devem Comer Carne Carlos L. Partidas / Livro Capa mole
common.buy 12.56 €
Kartenspiel: Kommt gut - Das Kartenspiel für mehr Oohs und Aahs Jüne Plã / Jogo/brinquedo Jogo
common.buy 20.06 €
Petrolejové lampy Jaroslav Havlíček / Livro Capa mole
common.buy 4.55 €
Datenvisualisierung boolescher Anfragen Dianqiang Yang / Livro Capa mole
common.buy 44.78 €

This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.

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 Rohit Gheyi, David Naumann
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2012
Número de páginas 227
EAN 9783642332951
ISBN 3642332951
Código Libristo 01662107
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 373
Dimensões 155 x 235 x 14

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

Hard Bop David H. Rosenthal / Livro Capa mole
common.buy 18.64 €
BERSERK OF GLUTTONY V10 V10 / Livro Capa mole
common.buy 12.05 €
The Holy Bible Translated From The Latin Vulgate ... The Old Testament First Published By The English College At Douay ... The New Testament At Rheims Anonymous / Livro Livro de capa dura
common.buy 45.70 €
Pollyanna Eleanor H Porter / Livro Capa mole
common.buy 8.50 €
Social Communication in Advertising Leiss / Livro Capa mole
common.buy 74.58 €
An Oration Delivered Before the Literary Association, on Monday, the Fourth of July, 1836. William B Maclay / Livro Capa mole
common.buy 10.43 €
Fractions, Decimals and Percentages Book 4 (Year 4, Ages 8-9) Schofield & Sims / Livro Capa mole
common.buy 6.27 €
Essential Nursing Care for Children and Young People Chris Thurston / Livro Livro de capa dura
common.buy 225.48 €
What You Think ADD/ADHD Is, It Isn't Barbara C. Fisher / Livro Livro de capa dura
common.buy 66.78 €
Freshwater Fishing Tips and Techniques Gene Kugach / Livro Capa mole
common.buy 15.19 €
Aesthetics and the Theory of Criticism Arnold Isenberg / Livro Capa mole
common.buy 40.02 €
Contact with Chaos Michael Z Williamson / Livro Livro de capa dura
common.buy 20.77 €
Journeying Wave Richmal Crompton / Livro Livro de capa dura
common.buy 20.87 €
Piano Exam Pieces 2015 & 2016, Grade 5 / Livro Livro de capa dura
common.buy 16.51 €
Intercultural Issues in Online Communication Verena Wiedmaier / Livro Capa mole
common.buy 48.74 €
People's Platform Astra Taylor / Livro Capa mole
common.buy 14.08 €
Logic for Concurrency and Synchronisation R.J. De Queiroz / Livro Capa mole
common.buy 97.59 €
Planning After Petroleum Jago Dodson / Livro Livro de capa dura
common.buy 225.48 €
Event of Death: a Phenomenological Enquiry I. Leman-Stefanovic / Livro Capa mole
common.buy 160.12 €
Italian Renaissance in the German Historical Imagination, 1860-1930 Dr. Martin A. Ruehl / Livro Livro de capa dura
common.buy 94.24 €
Dark Ages and the Age of Gold Russell A. Fraser / Livro Livro de capa dura
common.buy 154.64 €
American History: A Very Short Introduction Paul S Boyer / Livro Capa mole
common.buy 9.31 €
Ballad And The Source Rosamond Lehmann / Livro Capa mole
common.buy 28.47 €
Interfacing PIC Microcontrollers Martin Bates / Livro Capa mole
common.buy 50.87 €

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?