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: 50057537
Price: 68.76 EUR
Availability: InStock
Author: Ferruccio Damiani
ISBN: 9783032107947

20th International Conference, iFM 2025, Paris, France, November 19-21, 2025, Proceedings

Ferruccio Damiani

Marie Farrell

Língua

Inglês

E-book Adobe ePub DRM

Editoras Springer, novembro 2025

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

Código Libristo: 50057537

166 b

68.76 €

Em stock Imediatamente descarregável

Os clientes também compraram

Historia de las Enzimas Pedro Montilla López

Capa mole

22.98 €

This book constitutes the refereed proceedings of the 20th International Conference on Integrated Formal Methods, iFM 2025, which took place in Paris, France, during November 19–21, 2025.The 23 full papers presented together with 1 invited paper in this volume were carefully reviewed and selected from 69 submissions. The conference focuses on all aspects of formal methods, including deductive verification, model checking, reachability analysis, model-based testing, synthesis, timing and stochastic modelling, cyber-physical systems, autonomous systems, security and blockchain.