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 8.49 € Correio DPD 4.99 € Ponto DPD 4.49 € Correio GLS 5.99 € Correio MRW 5.99 € Ponto GLS 4.99 €
phone Contacto phoneComo comprar

Integrated Formal Methods

10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Integrated Formal Methods Einar Broch Johnsen
Código Libristo: 01663776
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maio 2013
This book constitutes the refereed proceedings of the 10th International Conference on Integrated Fo... Descrição completa
? points 132 b
54.08 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

El cerebro adolescente Javier Quintero Gutierrez del Alamo / E-book Adobe ePub DRM
common.buy 9.94 €
HETEROSEXUALIDAD SALE DEL ARMARIO,LA GHEDIN / Livro Livro
common.buy 29.25 €
Manuel de communication non verbale appliquée - Le modèle de recours à la force évolué et les indices de menace Rossin-Arthiat / Livro Capa mole
common.buy 39.20 €
Cuisine Breizh. Crêpes, coquillages et crustacés Fanny Le Hir / Livro Livro de capa dura
common.buy 25.02 €
Preparación de quitosano mediante fermentación microbiana en tres etapas Yanyun Zhao / Livro Capa mole
common.buy 33.77 €
Mallorca a mitjan segle XV : el sindicat i l'alçament for? / Livro Capa mole
common.buy 34.27 €
ICI Séverine Duchesne / Livro Livro de capa dura
common.buy 16.28 €
The Other Side of Sadness Tripsitter Áudio Vinil de áudio
common.buy 23.01 €
Dançando tango em Istambul Melis Merih Kiliç / Livro Capa mole
common.buy 50.17 €
gatto del Dalai Lama e il potere del miao David Michie / Livro Livro de capa dura
common.buy 24.42 €
Puzzle 3x55 Raya a kamarádi / Jogo/brinquedo Puzzle
common.buy 10.95 €
Em breve
Crimson Spell. Bd.5 Ayano Yamane / Livro Capa mole
common.buy 8.94 €
Kunst Des 18. Jahrhunderts Edmond de Goncourt / Livro Capa mole
common.buy 43.42 €
Meine täglichen Übungen in Mathematik - 10. Schuljahr. H.3 Karlheinz Lehmann / Livro Folha
common.buy 11.25 €
Totenbuch DES Mainzer Dominikanerklosters Isnard W. Frank / Livro Livro de capa dura
common.buy 124.65 €
Die Geschichte von der 1002. Nacht, 8 Audio-CD Joseph Roth / Áudio CD de áudio
common.buy 40.00 €
Beitraege Zur Rezeptions- Und Wirkungsgeschichte Der Volkserzaehlung Leander Petzoldt / Livro Capa mole
common.buy 137.52 €
Pies ktory kochal zbyt mocno Nicholas Dodman / Livro Capa mole
common.buy 7.03 €
La biblia del ayurveda : guía definitiva de la sanación ayurvédica Anne McIntyre / Livro Capa mole
common.buy 20.00 €
Happydemia Giacomo Papi / Livro Capa mole
common.buy 16.08 €
Rivalen unter roter Sonne, 1 Blu-ray Terence Young / Vídeo Blu-ray
common.buy 13.46 €
Recht und Energie Peter Rosin / Livro Livro de capa dura
common.buy 213.73 €
Principal
Manekýna Sofie Králová / Livro Livro
common.buy 10.04 €
Avions Brasch / Livro Livro
common.buy 5.12 €

This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. §The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. The papers cover the spectrum of integrated formal methods, focusing on refinement, integration, translation, verification, reachability and model checking, usability and testing, distributed systems, semantics, and system-level analysis.

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 Einar Broch Johnsen, Luigia Petre
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2013
Número de páginas 443
EAN 9783642386121
ISBN 3642386121
Código Libristo 01663776
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 700
Dimensões 155 x 235 x 26

Categorias

Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática > Matemática para investigadores informáticos
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 > 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

Space groups (156) P3m1-(148) R-3 Pierre Villars / Livro Livro de capa dura
common.buy 591.43 €
Progressive Development Arie S. Issar / Livro Capa mole
common.buy 107.86 €
Safety of historical stone arch bridges Pieter Van Gelder / Livro Capa mole
common.buy 105.65 €
Value of Systems and Complexity Sciences for Healthcare JOACHIM P STURMBERG / Livro Capa mole
common.buy 107.86 €
Stalin Edvard Radzinsky / Livro Capa mole
common.buy 16.88 €
Blaze and Thunderbolt C. W. Anderson / Livro Capa mole
common.buy 8.54 €
Meetings with Remarkable Women Lenore Friedman / Livro Capa mole
common.buy 29.75 €
Guided Highlighted Reading: A Close-Reading Strategy for Navigating Complex Text Elaine M. Weber / Livro Capa mole
common.buy 19.39 €
Folklore: What Is It and What Is the Good of It? Edwin Sidney Hartland / Livro Livro de capa dura
common.buy 27.44 €
Free Thoughts on Despotic and Free Governments Joseph Townsend / Livro Livro de capa dura
common.buy 35.18 €
Fly ash for water and wastewater treatment Md. Ahmaruzzaman / Livro Capa mole
common.buy 41.21 €
Pigeons Penguins Post Turtles: And Other Lousy Managers Wesley Miller / Livro Capa mole
common.buy 13.26 €
365 Worksheets - Find Predecessor and Successor of 3 Digit Numbers: Math Practice Workbook Kapoo Stem / Livro Capa mole
common.buy 15.07 €
Racism, Culture, Markets John Gabriel / Livro Livro de capa dura
common.buy 305.31 €
Snapshots of Lisa: A Candid Look at Down Syndrome and Snippets of Lisa's Life Angee Barcus / Livro Capa mole
common.buy 13.26 €
Gospel Culture: The Cultural Markings of a Christ-Centered Church David S Jung / Livro Capa mole
common.buy 10.55 €
Inside Gitmo Gordon Cucullu / Livro Capa mole
common.buy 21.60 €
Tocqueville Khaled Mattawa / Livro Capa mole
common.buy 14.17 €
Mentalizing in Arts Therapies Marianne Verfaille / Livro Livro de capa dura
common.buy 250.12 €
How to Build a Museum Tonya Bolden / E-book Adobe ePub DRM
common.buy 12.05 €
Learn Power BI Greg Deckler / Livro Capa mole
common.buy 45.83 €
Awakening Power Sat Dharma / Livro Capa mole
common.buy 16.08 €
Broadtube Music Mag - Volume 28: Music Mag 28 Olamide Ayodeji Kolade / Livro Capa mole
common.buy 10.55 €
Económico
My Body, My Home Victoria Emanuela / Calendário/Diário Diário
common.buy 8.33 €

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?