Formal methods 25th international (26 resultados)

Condición: New.

PF. Condición: New.

Condición: New. In English.

Condición: New. In English.

Paperback. Condición: Brand New. 312 pages. 9.25x6.10x0.71 inches. In Stock.

Condición: New. In English.

Condición: New.

Taschenbuch. Condición: Neu. Formal Methods for Industrial Critical Systems | 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings | Maurice H. Ter Beek (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxii | Englisch | 2020 | Springer | EAN 9783030582975 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Condición: New. A brand new book in pristine condition. Showing zero signs of shelf wear, creases, or damage.

Condición: New.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024.The 22 full papers presented were carefully reviewed and selected from 50 submissions.The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methods.…

Condición: New. In English.

Condición: New.

Condición: New.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023.The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day.…

Taschenbuch. Condición: Neu. Formal Methods | 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings | Marsha Chechik (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvi | Englisch | 2023 | Springer | EAN 9783031274800 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Paperback. Condición: Brand New. 675 pages. 9.25x6.10x1.36 inches. In Stock.

Condición: New.

Condición: Hervorragend. Zustand: Hervorragend | Seiten: 676 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day.…

Condición: New. Print on Demand pp. XXII, 289 131 illus., 44 illus. in color.

Condición: New. PRINT ON DEMAND pp. XXII, 289 131 illus., 44 illus. in color.

Taschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event.The 11 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The papers are organized in topical sections as follows: Quantitative Analysis and Cyber-Physical Systems, Formal Verification of Industrial Systems, Temporal Logic and Model Checking. The book also contains a lengthy report on a Formal Methods Survey conducted on occasion of the 25th edition of the conference.…

Condición: New. Print on Demand.

Condición: New. PRINT ON DEMAND.

Condición: New. Print on Demand.

Condición: New. PRINT ON DEMAND.