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

FM 2012: Formal Methods

18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

Língua InglêsInglês
Livro Capa mole
Livro FM 2012: Formal Methods Dimitra Giannakopoulou
Código Libristo: 01661952
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, julho 2012
This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods... Descrição completa
? points 111 b
45.93 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Dárek z pouti Luboš Kafka / Livro Livro de capa dura
common.buy 19.88 €
Machtergreifung des Nationalsozialismus und Massnahmen zur Machtsicherung Patrick Pigan / Livro Capa mole
common.buy 37.65 €
Das große Limpert-Buch der Zirkuskünste Stefan Eberherr / Livro Livro de capa dura
common.buy 31.49 €
Furstenfeldbruck-Literarisch Angelika Mundorff / Livro Capa mole
common.buy 11.90 €
Formirovanie portfelya na osnove mery riska Value-At-Risk Elena Kolyasnikova / Livro Capa mole
common.buy 48.56 €
Antes de convertirnos en piedra Sergio (Mr. Wandererr) Chico / E-book Adobe ePub DRM
common.buy 5.54 €
Postdata E.M.A / Livro Capa mole
common.buy 13.52 €

This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. The papers cover several aspects of formal methods, including verification, synthesis, runtime monitoring, testing and controller synthesis, as well as novel applications of formal methods in interesting domains such as satellites, autonomous vehicles and disease dynamics.

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 2012: Formal Methods
Autor Dimitra Giannakopoulou, Dominique Mery
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2012
Número de páginas 488
EAN 9783642327582
ISBN 3642327583
Código Libristo 01661952
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 765
Dimensões 155 x 235 x 28

Categorias

Matemática & ciência > Matemática > Fundamentos da matemática > Lógica matemática
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

Th Thorium Robert G. Behrens / Livro Capa mole
common.buy 545.53 €
Works of William H. Seward William Henry Seward / Livro Capa mole
common.buy 32.20 €
Comparative Study of Chinese and Western Cyclic Myths Robert Shanmu Chen / Livro Livro de capa dura
common.buy 62.59 €
Methods of Cancer Diagnosis, Therapy, and Prognosis M. A. Hayat / Livro Capa mole
common.buy 274.42 €
Whistleblowing at Work David Lewis / Livro Capa mole
common.buy 97.43 €
Dancing With Danger Byrne Kerrigan Byrne / Livro Capa mole
common.buy 10.09 €
Life Behind Bars Gordon Culpin / Livro Capa mole
common.buy 15.74 €

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?