Formal Methods 26th International (30 results)

Condition: New.

Condition: New. In English.

Paperback. Condition: New.

Condition: New. In English.

Condition: New. 2025th edition NO-PA16APR2015-KAP.

Condition: New. 1st ed. 2021 edition NO-PA16APR2015-KAP.

Paperback. Condition: Brand New. 261 pages. 9.25x6.10x0.55 inches. In Stock.

Paperback. Condition: Brand New. 650 pages. 9.25x6.10x9.21 inches. In Stock.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The contributions were organized in topical sections as follows:Part I: Invited papers; fundamentals of formal verification; foundations; learn and repair; programming languages.- logic and automata;Part II: Tools and case studies; embedded systems track; industry day track; tutorial papers.…

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event.The 10 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections as follows: Verification, Program Safety and Education, (Event-)B Modeling and Validation, Formal Analysis, Tools, Test Generation and Probabilistic Verification.…

Taschenbuch. Condition: Neu. Formal Methods | 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I | André Platzer (u. a.) | Taschenbuch | xxii | Englisch | 2024 | Springer | EAN 9783031711619 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Taschenbuch. Condition: Neu. Formal Methods for Industrial Critical Systems | 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings | Alberto Lluch Lafuente (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2021 | Springer | EAN 9783030852474 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume LNCS 16229 constitutes the refereed proceedings of 26th International Conference on Formal Methods and Software Engineering, ICFEM 2025, in Hangzhou, China, during November 10 13, 2025.The 20 full papers presented were carefully reviewed and selected from 47 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methods.…

Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.

Paperback. Condition: Brand New. 412 pages. 9.25x6.10x9.25 inches. In Stock.

Taschenbuch. Condition: Neu. Formal Methods and Software Engineering | 26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10-13, 2025, Proceedings | Étienne André (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xx | Englisch | 2025 | Springer | EAN 9789819542123 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Condition: Hervorragend. Zustand: Hervorragend | Seiten: 264 | Sprache: Englisch | Produktart: Bücher | This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event.The 10 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections as follows: Verification, Program Safety and Education, (Event-)B Modeling and Validation, Formal Analysis, Tools, Test Generation and Probabilistic Verification.…

Condition: New. In English.

Taschenbuch. Condition: Neu. Formal Methods | 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II | Andre Platzer (u. a.) | Taschenbuch | xxii | Englisch | 2024 | Springer | EAN 9783031711763 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The contributions were organized in topical sections as follows:Part I: Invited papers; fundamentals of formal verification; foundations; learn and repair; programming languages.- logic and automata;Part II: Tools and case studies; embedded systems track; industry day track; tutorial papers.…

Condition: New. 2025th edition NO-PA16APR2015-KAP.

Paperback. Condition: Brand New. 600 pages. 9.25x6.10x9.21 inches. In Stock.

Condition: New. Print on Demand.

Condition: New. PRINT ON DEMAND.

Condition: New. Print on Demand.

Condition: New. PRINT ON DEMAND.

Condition: New. Print on Demand.

Condition: New. PRINT ON DEMAND.

Condition: New. Print on Demand.

Condition: New. PRINT ON DEMAND.