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

Integrated Formal Methods

8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Integrated Formal Methods Dominique Méry
Código Libristo: 01656785
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, outubro 2010
This book constitutes the refereed proceedings of the 8th International Conference on Integrated For... Descrição completa
? points 111 b
45.97 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Indigenes Wohnen und Leben in den nördlichen Savannen Afrikas Gerhard Glombiewski / Livro Capa mole
common.buy 15.75 €
In Wirklichkeit Ist Das Weib Dem Mann UEberlegen Adler Wissa / Livro Capa mole
common.buy 29.40 €
Het oog der liefde Kent / Audiolivro MP3
common.buy 5.95 €
A la orilla de la ziranda: Narrativa Ernesto Adair Zepeda Villarreal / Livro Capa mole
common.buy 7.27 €
Vingt-Quatre Nouvelles Genevoises, Volume 2 M Ril Catalan / Livro Capa mole
common.buy 16.87 €
Petite Terreur ou souffre-douleur Stéphane Bourcet / Livro Capa mole
common.buy 23.43 €
Manejo de maquinaria de corte de bloques de piedra Encarnación López Béjar / Livro Capa mole
common.buy 19.59 €
Potencial de Croacia como destino turístico para el mercado ruso / Livro Capa mole
common.buy 31.42 €
Vežovníček Marta Hlušíková; Alena Wagnerová / Livro Livro de capa dura
common.buy 6.66 €
Jakobsweg ist uberall Olaf Behrens / Livro Capa mole
common.buy 13.03 €
Die fabelhafte Welt der Libellen (Tischaufsteller DIN A5 quer) Heike Hultsch / Livro Capa mole
common.buy 14.84 €
Die Langschwanzeidechsen der Gattung Takydromus Uwe Schlüter / Livro Capa mole
common.buy 13.23 €
Oberwallis Roland Nanzer / Livro Livro de capa dura
common.buy 29.09 €
Einleitung in Die Psychologie Nach Kritischer Methode Paul Natorp / Livro Capa mole
common.buy 15.75 €
Einheitliche europaische Akte und europaischer Binnenmarkt Jan Pfitzner / Livro Capa mole
common.buy 14.24 €
Grundkurs Statistik Fur Politologen Und Soziologen Uwe W. Gehring / Livro Capa mole
common.buy 46.07 €
Schumann-Handbuch Ulrich Tadday / Livro Livro de capa dura
common.buy 28.49 €
Die Strafgewalt der Kirche. Wilhelm Rees / Livro Capa mole
common.buy 83.56 €
Grandes Personajes de la Historia - Biografias noveladas Consuelo Jimenez De Cisneros / Livro Capa mole
common.buy 12.92 €
Projekt da Vinci - Hledání pravdy DVD + CD (ČJ, AJ, NJ, ŠJ, FJ) / Vídeo Vídeo
common.buy 6.46 €

This book constitutes the refereed proceedings of the 8th International Conference on Integrated Formal Methods, IFM 2010, held in Nancy, France, in October 2010. The 20 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 59 submissions. The papers address the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, refinement, verification and model transformations to type systems, logics, tools and case studies.

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 Integrated Formal Methods
Autor Dominique Méry, Stephan Merz
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2010
Número de páginas 337
EAN 9783642162640
ISBN 3642162649
Código Libristo 01656785
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 528
Dimensões 155 x 235 x 19

Categorias

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
Informática & tecnologia da informação > Sistemas operativos
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

Knight of the White Cross George Alfred Henty / Livro Capa mole
common.buy 14.24 €
To Duel With the Hands of God James R Elliott / Livro Capa mole
common.buy 13.23 €
Coffee Table Conversations Tina Divina / Livro Capa mole
common.buy 17.47 €
Multivariate Statistical Analysis V.I. Serdobolskii / Livro Capa mole
common.buy 91.75 €
Miscellanies Upon Various Subjects John Aubrey / Livro Capa mole
common.buy 11.91 €
Measurement of Partial Discharges in Power Transformers using Electromagnetic Signals Sebastian Coenen / Livro Capa mole
common.buy 18.99 €
Alpha Jasinda Wilder / Livro Capa mole
common.buy 13.83 €
How to Analyze People Ryan James / Livro Capa mole
common.buy 15.55 €
Demographic Masculinization of China Isabelle Attané / Livro Livro de capa dura
common.buy 45.97 €
Transcending Textuality Ariadna Garcia Bryce / Livro Capa mole
common.buy 42.03 €

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