Formal Methods and Software Engineering: 26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10–13, 2025, Proceedings - Couverture souple
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Formal Methods and Software Engineering: 26th International...
Image d'archives
Formal Methods and Software Engineering (eng)
Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 3 sur 5 étoiles
Etat : new. N° de réf. du vendeur VSF0A6WT8M
Acheter neuf
EUR 65,43
Expédition à EUR 6,80
Expédition depuis Italie vers Etats-Unis
Expédition depuis Italie vers Etats-Unis
Quantité disponible : 5 disponible(s)
Image d'archives
Formal Methods and Software Engineering (eng)
Vendeur : Brook Bookstore, Milano, MI, Italie
Évaluation du vendeur 4 sur 5 étoiles
Etat : new. N° de réf. du vendeur VSF0A6WT8M
Acheter neuf
EUR 60,70
Expédition à EUR 27,99
Expédition depuis Italie vers Etats-Unis
Expédition depuis Italie vers Etats-Unis
Quantité disponible : 5 disponible(s)
Image d'archives
Formal Methods and Software Engineering (Paperback)
Edité par
Springer Verlag, Singapore, Singapore, 2025
ISBN 10 : 981954212X
ISBN 13 : 9789819542123
Neuf
Paperback
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : 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. N° de réf. du vendeur 9789819542123
Acheter neuf
EUR 92,74
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Formal Methods and Software Engineering
Edité par
Springer Nature Singapore Dez 2025, 2025
ISBN 10 : 981954212X
ISBN 13 : 9789819542123
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9789819542123
Acheter neuf
EUR 79,17
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Formal Methods and Software Engineering (Paperback)
Edité par
Springer Verlag, Singapore, Singapore, 2025
ISBN 10 : 981954212X
ISBN 13 : 9789819542123
Neuf
Paperback
Vendeur : CitiRetail, Stevenage, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : 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. N° de réf. du vendeur 9789819542123
Acheter neuf
EUR 76,02
Expédition à EUR 42,67
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Methods and Software Engineering: 26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 1013, . (Lecture Notes in Computer Science, 16229)
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 412 pages. 9.25x6.10x9.25 inches. In Stock. N° de réf. du vendeur x-981954212X
Acheter neuf
EUR 113,15
Expédition à EUR 14,42
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Formal Methods and Software Engineering
Edité par
Springer, Springer Nov 2025, 2025
ISBN 10 : 981954212X
ISBN 13 : 9789819542123
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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.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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 416 pp. Englisch. N° de réf. du vendeur 9789819542123
Acheter neuf
EUR 79,17
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Formal Methods and Software Engineering : 26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10-13, 2025, Proceedings
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9789819542123
Acheter neuf
EUR 86,08
Expédition à EUR 63,14
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Methods and Software Engineering (Paperback)
Edité par
Springer Verlag, Singapore, Singapore, 2025
ISBN 10 : 981954212X
ISBN 13 : 9789819542123
Neuf
Paperback
Vendeur : AussieBookSeller, Truganina, VIC, Australie
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : 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. N° de réf. du vendeur 9789819542123
Acheter neuf
EUR 137,22
Expédition à EUR 31,53
Expédition depuis Australie vers Etats-Unis
Expédition depuis Australie vers Etats-Unis
Quantité disponible : 1 disponible(s)