Verificar estado da encomenda

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

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Integrated Formal Methods

Name: Integrated Formal Methods
Brand: Springer
SKU: 41049828
Price: 51.54 EUR
Availability: InStock
Author: Carlo A. Furia
ISBN: 9783319989389

14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

Carlo A. Furia

Kirsten Winter

Língua

Inglês

E-book Adobe ePub DRM

Código Libristo: 41049828

Editoras Springer, agosto 2018

This book constitutes the refereed proceedings of the 14th International Conference on Integrated Fo... Descrição completa

Código Libristo: 41049828

125 b

51.54 €

Em stock Imediatamente descarregável

Também pode estar interessado em

Through the Looking Glass Richard Idemon

Capa mole

19.44 €

New Theoretical and Practical French Grammar Charles Jean Delille

Livro de capa dura

33.51 €

Polygeneration Systems Francesco Calise

Capa mole

200.02 €

Intercept Gordon Corera

Adobe ePub DRM

3.74 €

Genesis Wave Book 1 Tim Russ

MP3

12.65 €

This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018.The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions. The conference covers a broad spectrum of topics: from language design, to verification and analysis techniques, to supporting tools and their integration into software engineering practice.