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

Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.

Língua InglêsInglês
Livro Capa mole
Livro Integrated Formal Methods Michael Butler
Código Libristo: 01564333
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maio 2002
This book constitutes the refereed proceedings of the Third International Conference on Integrated F... Descrição completa
? points 111 b
46.07 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Walter Petters: Praktische Strafrechtsfalle Mit Loesungen. Teil 1 Walter Petters / Livro Livro de capa dura
common.buy 97.93 €
Haftung Und Besteuerung Des Vermoegensberaters Werner Klumpe / Livro Capa mole
common.buy 47.39 €
Rumanische Marchen Mite Kremnitz / Livro Capa mole
common.buy 20.55 €
Özel Tüketim Vergisi Kanunu / Livro Capa mole
common.buy 13.56 €
MATÉRIAUX - Mise en forme des métaux - Plasticité, rhéologie, tribologie Felder / Livro Capa mole
common.buy 40.91 €
Divan Ahmed Akir Paa / Livro Capa mole
common.buy 16.50 €
Das Forvm Romanvm: Seine Geschichte Und Seine Denkmaler (1905) Christian Huelsen / Livro Capa mole
common.buy 25.41 €
Ciceron, Correspondance: (Mars 49 - Avril 46 Avant J.-C.) Jean Beaujeu / Livro Capa mole
common.buy 50.73 €
Mein Gestern Manfred Jurgensen / Livro Capa mole
common.buy 13.46 €
Apokalypse Adrienne von Speyr / Livro Livro de capa dura
common.buy 34.73 €
Neocortext Vojtěch Němec / Livro Capa mole
common.buy 6.88 €
Lettres A M. Le Duc de Blacas d'Aulps Relatives Au Musee Royal Egyptien de Turin, 2eme Lettre CHAMPOLLION-J / Livro Capa mole
common.buy 15.69 €

This book constitutes the refereed proceedings of the Third International Conference on Integrated Formal Methods, IFM 2002, held in Turku, Finland, in May 2002.The 18 revised full papers presented together with three invited papers were carefully reviewed and selected from a total of 46 submissions. The papers are organized in topical sections on integration, simulation, and animation; from specification to verification; statcharts and B: integration and translation; model checkers and theorem provers; links between object-Z and CSP; combining graphical and formal approaches; and refinement and proof.

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 Michael Butler, Luigia Petre, Kaisa Sere
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2002
Número de páginas 401
EAN 9783540437031
ISBN 3540437037
Código Libristo 01564333
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1280
Dimensões 155 x 235 x 23

Categorias

Informática & tecnologia da informação > Ciência informática > Inteligência artificial > Aprendizagem mecânica
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

Biotechnology Fundamentals Khan / Livro Capa mole
common.buy 82.13 €
Learning Pentaho Data Integration 8 CE - Third Edition Maria Carina Roldan / Livro Capa mole
common.buy 48.10 €
Spawn: Origins Deluxe Edition 3 Brian Holguin / Livro Livro de capa dura
common.buy 61.27 €
Sufism Alexander Knysh / Livro Capa mole
common.buy 26.93 €
Frankissstein Jeanette Winterson / Livro Capa mole
common.buy 11.03 €
Melchizedek: Unmasked Baal Kadmon / Livro Capa mole
common.buy 12.55 €
Aesop's Fables Santore Charles / Livro Livro de capa dura
common.buy 12.04 €
Barnes' Popular History Of The United States Of America V1 (1904) Joel Dorman Steele / Livro Capa mole
common.buy 28.65 €
The Critical Care Pocket Guide Sergio Niosi / Livro Capa mole
common.buy 8.60 €
Konohana Kitan, Volume 2 Sakuya Amano / E-book Adobe ePub DRM
common.buy 6.47 €
Destroyer of the gods Larry W. Hurtado / E-book Adobe ePub DRM
common.buy 30.27 €
The Last Song of Penelope NORTH CLAIRE / Livro Capa mole
common.buy 12.85 €
Tales of Wedding Rings, Vol. 15 Andrew Cunningham / Livro Capa mole
common.buy 9.92 €
Crazy Sexy Diet Kris Carr / Livro Capa mole
common.buy 20.15 €
Essential David Bohm Lee Nichol / Livro Capa mole
common.buy 51.75 €
Collected Short Stories Aldous Huxley / Livro Capa mole
common.buy 19.23 €
Political Thought and the Public Sphere in Tanzania Emma Hunter / Livro Livro de capa dura
common.buy 109.88 €
Pandora's Box Trilogy Adam Teachout / Livro Capa mole
common.buy 16.70 €
Anti-Money Laundering: What You Need to Know (Jersey fiduciary edition): A concise guide to anti-money laundering and countering the financin Susan Grossey / Livro Capa mole
common.buy 6.98 €
Dark Magic Christine Feehan / Livro Capa mole
common.buy 13.97 €

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