Formal Methods and Software Engineering: 26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10–13, ... (Lecture Notes in Computer Science, 16229) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Search results for Formal Methods and Software Engineering: 26th International...
Stock Image
Formal Methods and Software Engineering (eng)
Seller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 5 out of 5 stars
Condition: new. Seller Inventory # VSF0A6WT8M
Stock Image
Formal Methods and Software Engineering (eng)
Seller: Brook Bookstore, Milano, MI, Italy
Seller rating 5 out of 5 stars
Condition: new. Seller Inventory # VSF0A6WT8M
Stock Image
Formal Methods and Software Engineering (Paperback)
Published by
Springer Verlag, Singapore, Singapore, 2025
ISBN 10: 981954212X
ISBN 13: 9789819542123
New
Paperback
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. 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 1013, 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9789819542123
Seller Image
Formal Methods and Software Engineering
Published by
Springer Nature Singapore Dez 2025, 2025
ISBN 10: 981954212X
ISBN 13: 9789819542123
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 392 pp. Englisch. Seller Inventory # 9789819542123
Stock Image
Formal Methods and Software Engineering (Paperback)
Published by
Springer Verlag, Singapore, Singapore, 2025
ISBN 10: 981954212X
ISBN 13: 9789819542123
New
Paperback
Seller: CitiRetail, Stevenage, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. 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 1013, 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. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Seller Inventory # 9789819542123
Buy New
£ 63.99
£ 37 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Formal Methods and Software Engineering: 26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 1013, . (Lecture Notes in Computer Science, 16229)
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 412 pages. 6.10x0.94x9.25 inches. In Stock. Seller Inventory # x-981954212X
Buy New
£ 96.84
£ 12.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Seller Image
Formal Methods and Software Engineering
Published by
Springer, Springer Nov 2025, 2025
ISBN 10: 981954212X
ISBN 13: 9789819542123
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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 1013, 2025.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 416 pp. Englisch. Seller Inventory # 9789819542123
Seller Image
Formal Methods and Software Engineering : 26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10-13, 2025, Proceedings
Published by
Springer Nature Singapore, 2025
ISBN 10: 981954212X
ISBN 13: 9789819542123
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
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. Seller Inventory # 9789819542123
Stock Image
Formal Methods and Software Engineering (Paperback)
Published by
Springer Verlag, Singapore, Singapore, 2025
ISBN 10: 981954212X
ISBN 13: 9789819542123
New
Paperback
Seller: AussieBookSeller, Truganina, VIC, Australia
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. 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 1013, 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. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. Seller Inventory # 9789819542123
Buy New
£ 115.92
£ 27.71 shipping
Ships from Australia to U.S.A.
Ships from Australia to U.S.A.
Quantity: 1 available