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
Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

FM 2015: Formal Methods

20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro FM 2015: Formal Methods Nikolaj Bj?rner
Código Libristo: 09277583
Editoras Springer International Publishing AG, maio 2015
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods... 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

Happy House 3rd Edition 1 Class Audio CDs Stella Maidment / Áudio CD de áudio
common.buy 27.13 €
Schnelle thermische Prozessierung von Cu(In, Ga)Se2-Schichten Christian Merk / Livro Capa mole
common.buy 42.22 €
JACK LONDON KOZA / Livro Livro de capa dura
common.buy 18.93 €
Die Ritter Vom Geiste, Volumes 1-2 Karl Gutzkow / Livro Capa mole
common.buy 27.03 €
Programmierkurs TURBO-PASCAL Version 7.0 Henning Mittelbach / Livro Capa mole
common.buy 46.17 €
Italie - 50 itinéraires de rêve collegium / Livro Capa mole
common.buy 28.55 €
1972 Dr Gustav Keller / Livro Capa mole
common.buy 7.08 €
Elf Freunde müßt ihr sein . . . Sammy Drechsel / Livro Livro de capa dura
common.buy 11.94 €
Die drei ??? und der schreiende Zug Andreas Ruch / Livro Livro de capa dura
common.buy 11.94 €
Aquí yace la amargura Cynthia Fleury / E-book Adobe ePub DRM
common.buy 5.56 €
Čti a hraj si s námi Ledové království / Livro Livro concertina
common.buy 16.09 €

This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.

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 FM 2015: Formal Methods
Autor Nikolaj Bj?rner, Frank de Boer
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2015
Número de páginas 610
EAN 9783319192482
ISBN 3319192485
Código Libristo 09277583
Editoras Springer International Publishing AG
Peso 9358
Dimensões 155 x 235 x 235

Categorias

Informática & tecnologia da informação > Ciência informática > Interação homem-computador > Conceção e utilizabilidade do interface com o utilizador
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 > 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

KombiFiD - Combined Firm Data for Germany. Joachim Wagner / Livro Capa mole
common.buy 50.11 €
Seven Deadly Sins of White Christian Nationalism Carter Heyward / Livro Capa mole
common.buy 26.22 €
Louis Couturat: The History of Modern Symbolic Logic and Other French Manuscripts Oliver Schlaudt / Livro Livro de capa dura
common.buy 128.59 €
Mind Diet for Beginners: 85 Recipes and a 7-Day Kickstart Plan to Boost Your Brain Health Kelli McGrane / Livro Capa mole
common.buy 11.64 €
Once Upon A Rhyme Julie Murrow / Livro Capa mole
common.buy 4.95 €
Federal Civil Penalties Inflation Adjustment Act Catch-Up Adjustments (US Occupational Safety and Health Administration Regulation) (OSHA) (2018 Editi The Law Library / Livro Capa mole
common.buy 16.29 €
Philosophy of Law Kant Immanuel Kant / Livro Capa mole
common.buy 20.55 €
Falstaff: Give Me Lifevolume 1 Harold Bloom / Livro Capa mole
common.buy 10.42 €
Thomas Merton and the Inclusive Imagination Ross Labrie / Livro Livro de capa dura
common.buy 46.37 €
The 22-Day Revolution Marco Borges / Livro Livro de capa dura
common.buy 22.37 €
To See My World In Rhythm And Rhyme Thomas Wayne Allen / Livro Capa mole
common.buy 15.79 €
Technology in Retrospect Michael J. Berson / Livro Capa mole
common.buy 53.46 €
Fallows Aaron Ross / Livro Livro de capa dura
common.buy 24.39 €
Principal
Pip and Posy: The Bedtime Frog Axel Scheffler / Livro Livro de capa dura
common.buy 9.31 €
Total Heart Health Robert Schneider / Livro Capa mole
common.buy 12.24 €
Manners of Interpretation Miguel Tamen / Livro Capa mole
common.buy 35.84 €
Hegel Reader Stephen Houlgate / Livro Livro de capa dura
common.buy 133.86 €
Writer's Roadmap Wendell Wellman / Livro Capa mole
common.buy 12.24 €
Happily Ever After Annette Morris / Livro Capa mole
common.buy 9.81 €
Silent Scream Sandra A Jones / Livro Capa mole
common.buy 18.32 €
Little Joseph H Easley / Livro Livro de capa dura
common.buy 20.95 €

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?