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 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Integrated Formal Methods

Name: Integrated Formal Methods
Brand: Springer-Verlag GmbH
SKU: 49776569
Price: 71.84 EUR
Availability: InStock
Author: Marie Farrell
ISBN: 9783032107930

Marie Farrell

Língua

Inglês

Livro Capa mole

Código Libristo: 49776569

Editoras Springer-Verlag GmbH, janeiro 2026

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

Código Libristo: 49776569

174 b

71.84 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Também pode estar interessado em

Kay Nielsen. East of the Sun and West of the Moon Noel Daniel

Livro de capa dura

28.27 €

Hokuei: Masterpieces of Japanese Actor Prints John Fiorillo

Livro de capa dura

57.96 €

Kids, Wait Till You Hear This! Liza Minnelli

Capa mole

17.42 €

Homosexuality, Transidentity, and Islam Adi Bharat

Capa mole

65.97 €

Manual For Submarine Mining

Capa mole

17.22 €

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.