52,95 €
52,95 €
inkl. MwSt.
Sofort per Download lieferbar
26 °P sammeln
52,95 €
Als Download kaufen
52,95 €
inkl. MwSt.
Sofort per Download lieferbar
26 °P sammeln
Jetzt verschenken
Alle Infos zum eBook verschenken
52,95 €
inkl. MwSt.
Sofort per Download lieferbar
Alle Infos zum eBook verschenken
26 °P sammeln
Andere Kunden interessierten sich auch für
![Integrated Formal Methods (eBook, PDF)]( "Integrated Formal Methods (eBook, PDF)")
Integrated Formal Methods (eBook, PDF)64,95 €![Logic for Programming, Artificial Intelligence, and Reasoning (eBook, PDF)]( "Logic for Programming, Artificial Intelligence, and Reasoning (eBook, PDF)")
Logic for Programming, Artificial Intelligence, and Reasoning (eBook, PDF)40,95 €![Software Engineering and Formal Methods (eBook, PDF)]( "Software Engineering and Formal Methods (eBook, PDF)")
Software Engineering and Formal Methods (eBook, PDF)40,95 €![TOOLympics Challenge 2023 (eBook, PDF)]( "TOOLympics Challenge 2023 (eBook, PDF)")
TOOLympics Challenge 2023 (eBook, PDF)96,95 €![Interactive Theorem Proving (eBook, PDF)]( "Interactive Theorem Proving (eBook, PDF)")
Interactive Theorem Proving (eBook, PDF)40,95 €![Verified Software. Theories, Tools and Experiments (eBook, PDF)]( "Verified Software. Theories, Tools and Experiments (eBook, PDF)")
Verified Software. Theories, Tools and Experiments (eBook, PDF)40,95 €![Automated Reasoning with Analytic Tableaux and Related Methods (eBook, PDF)]( "Automated Reasoning with Analytic Tableaux and Related Methods (eBook, PDF)")
Automated Reasoning with Analytic Tableaux and Related Methods (eBook, PDF)40,95 €
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.
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.
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.