Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Integrated Formal Methods

Name: Integrated Formal Methods
Brand: Springer
SKU: 50057537
Price: 82.89 EUR
Availability: InStock
Author: Ferruccio Damiani
ISBN: 9783032107947

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

Ferruccio Damiani

Marie Farrell

Lingua

Inglese

Libro elettronico Adobe ePub DRM

Casa editrice Springer, novembre 2025

This book constitutes the refereed proceedings of the 20th International Conference on Integrated Fo... Descrizione completa

Codice Libristo: 50057537

203 b

82.89 €

Disponibile Consegna digitale immediata

I clienti hanno acquistato anche

Historia de las Enzimas Pedro Montilla López

In brossura

27.19 €

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.