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 €
phone Contacto phoneComo comprar

Integrated Formal Methods

4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004.Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Integrated Formal Methods Eerke A. Boiten
Código Libristo: 01559229
Editoras Springer, Berlin, novembro 2003
This book constitutes the refereed proceedings of the 4th International Conference on Integrated For... Descrição completa
? points 111 b
46.06 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Telemedizin Karolina Budych / E-book Adobe ePub DRM
common.buy 24.29 €
Lukittu Unkuri / Audiolivro MP3
common.buy 7.99 €
Hitlers Rache Friedrich-Wilhelm von Hase / E-book Adobe ePub DRM
common.buy 9.31 €
Untersuchungen zu Ciceros philosophischen Schriften Rudolf Hirzel / Livro Capa mole
common.buy 14.67 €
MUSIC FOR A LOCKED IN DOUBLE BASS TORRES / Áudio CD de áudio
common.buy 15.58 €
Россия в мире: образы и грани взаимодействия Александр Чубарьян / Livro Capa mole
common.buy 48.29 €
Kde mŕtvi žijú a nemí hovoria Michal Eliáš / Livro Livro de capa dura
common.buy 8.50 €
Miraculous-X-mas Box-Hörspiele / Áudio CD de áudio
common.buy 13.05 €
Simulieren Und Entscheiden Michael Resch / Livro Capa mole
common.buy 47.38 €
BABADADA, shqipe - Nederlands, fjalor me ilustrime - beeldwoordenboek Babadada GmbH / Livro Capa mole
common.buy 23.99 €
Streichquartett Nr. 1 Isang Yun / Livro Folha
common.buy 54.17 €
La Piraterie Maritime En Afrique Orientale Gottfried Soelle Mboundja / Livro Capa mole
common.buy 54.27 €
Totschlager Emil (Ü: Franz Blei) Zola / Livro Capa mole
common.buy 15.79 €
Psychiatrie Wolfgang Frank / Livro Capa mole
common.buy 45.15 €

This book constitutes the refereed proceedings of the 4th International Conference on Integrated Formal Methods, IFM 2004, held in Canterbury, UK, in April 2004.The 24 revised full papers presented together with 3 invited papers and one invited tutorial chapter were carefully reviewed and selected from 65 submissions. The papers are devoted to automating program analysis, state/event-based verification, formalizing graphical notions, refinement, object-orientation, hybrid and timed automata, integration frameworks, verifying interactive systems, and testing and assertions.

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 Eerke A. Boiten, John Derrick, Graeme Smith
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2004
Número de páginas 548
EAN 9783540213772
ISBN 3540213775
Código Libristo 01559229
Editoras Springer, Berlin
Peso 820
Dimensões 156 x 234 x 28

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
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 Microwave and Radio Frequency Processing M. Willert-Porada / Livro Livro de capa dura
common.buy 293.24 €
AQA GCSE French Higher Practice Papers JEAN-CLAUDE GILLES / Livro Capa mole
common.buy 12.95 €
Welsh Calendar Cookbook Gilli Davies / Livro Capa mole
common.buy 8.60 €
Statistical Design and Analysis in Pharmaceutical Science Jen-pei Liu / Livro Livro de capa dura
common.buy 194.72 €
Forerunners and Rivals of Christianity: Volume 2 F. Legge / Livro Capa mole
common.buy 46.27 €
Probiotics for Sustainable Food and Medicine Laghulkar Anita Marotirao / Livro Livro de capa dura
common.buy 176.29 €
Replacement of Renal Function by Dialysis C. Jacobs / Livro Livro de capa dura
common.buy 100.54 €
Terror in Ireland David Fitzpatrick / Livro Capa mole
common.buy 16.19 €
Color Atlas of Thyroid Surgery Youn / Livro Livro de capa dura
common.buy 116.54 €
New York Yankees Matt Christopher / Livro Capa mole
common.buy 8.19 €
Classic Tales Second Edition: Level 1: Peach Boy Sue Arengo / Livro Capa mole
common.buy 10.22 €
Anatomy of High Performing Teams Marilyn Laiken / Livro Capa mole
common.buy 39.68 €

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?