Articles liés à Integrated Formal Methods: 20th International Conference,...
Integrated Formal Methods: 20th International Conference, iFM 2025, Paris, France, November 19–21, 2025, Proceedings - Couverture souple
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Integrated Formal Methods: 20th International Conference,...
Image d'archives
Integrated Formal Methods (eng)
impression à la demandeVendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 5 sur 5 étoiles
Etat : new. Questo è un articolo print on demand. N° de réf. du vendeur GR6PFLOQDN
Acheter neuf
EUR 59,03
Expédition à EUR 5,50
Expédition depuis Italie vers Etats-Unis
Expédition depuis Italie vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Integrated Formal Methods: 20th International Conference, iFM 2025, Paris, France, November 19-21, 2025, Proceedings (Lecture Notes in Computer Science)
Edité par
Springer, 2025
ISBN 10 : 3032107938
ISBN 13 : 9783032107930
Ancien ou d'occasion
Couverture souple
Vendeur : Marlton Books, Bridgeton, NJ, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Acceptable. Readable, but has significant damage / tears. Has a remainder mark. paperback Used - Acceptable 2025. N° de réf. du vendeur AB-018111
Acheter D'occasion
EUR 64,29
Expédition à EUR 2,60
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Integrated Formal Methods
impression à la demandeVendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. Delivery takes 20-25 days. Print on Demand. N° de réf. du vendeur POD-409515
Acheter neuf
EUR 73,29
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Integrated Formal Methods
Edité par
Springer, Berlin, Springer Nature Switzerland, Springer, 2025
ISBN 10 : 3032107938
ISBN 13 : 9783032107930
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 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. 492 pp. Englisch. N° de réf. du vendeur 9783032107930
Acheter neuf
EUR 70,61
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
Integrated Formal Methods: 20th International Conference, IFM 2025, Paris, France, November 19?21, 2025, Proceedings
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. N° de réf. du vendeur 26405046818
Acheter neuf
EUR 101,53
Expédition à EUR 3,46
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Integrated Formal Methods: 20th International Conference, IFM 2025, Paris, France, November 19?21, 2025, Proceedings
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Print on Demand. N° de réf. du vendeur 408107517
Acheter neuf
EUR 102,32
Expédition à EUR 7,60
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image fournie par le vendeur
Integrated Formal Methods
Edité par
Springer Verlag GmbH, 2025
ISBN 10 : 3032107938
ISBN 13 : 9783032107930
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. N° de réf. du vendeur 2659253719
Acheter neuf
EUR 62,42
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Integrated Formal Methods: 20th International Conference, IFM 2025, Paris, France, November 19?21, 2025, Proceedings
impression à la demandeVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. PRINT ON DEMAND. N° de réf. du vendeur 18405046824
Acheter neuf
EUR 104,39
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image fournie par le vendeur
Integrated Formal Methods
Edité par
Springer, Palgrave Macmillan Nov 2025, 2025
ISBN 10 : 3032107938
ISBN 13 : 9783032107930
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 book constitutes the refereed proceedings of the 20th International Conference on Integrated Formal Methods, iFM 2025, which took place in Paris, France, during November 1921, 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 536 pp. Englisch. N° de réf. du vendeur 9783032107930
Acheter neuf
EUR 70,61
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
Integrated Formal Methods | 20th International Conference, iFM 2025, Paris, France, November 19-21, 2025, Proceedings
Vendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Integrated Formal Methods | 20th International Conference, iFM 2025, Paris, France, November 19-21, 2025, Proceedings | Ferruccio Damiani (u. a.) | Taschenbuch | xxiii | Englisch | 2025 | Springer | EAN 9783032107930 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. N° de réf. du vendeur 134256051
Acheter neuf
EUR 64,75
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 5 disponible(s)