Articles liés à Formal Methods: 26th International Symposium, FM 2024,...
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I - Couverture souple
Synopsis
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.
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: 26th International Symposium, FM 2024,...
Image d'archives
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 HABK8MS2XO
Acheter neuf
EUR 38,22
Expédition à EUR 11
Expédition depuis Italie vers Etats-Unis
Expédition depuis Italie vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Formal Methods
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. Delivery takes 25-30 days. Excellent Customer Service. N° de réf. du vendeur POD-378435
Acheter neuf
EUR 53
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 10 disponible(s)
Image d'archives
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I (Lecture Notes in Computer Science)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783031711619_new
Acheter neuf
EUR 48,77
Expédition à EUR 13,98
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Formal Methods
ISBN 10 : 3031711610
ISBN 13 : 9783031711619
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 -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. 680 pp. Englisch. N° de réf. du vendeur 9783031711619
Acheter neuf
EUR 42,79
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: 26th International Symposium, FM 2024, Milan, Italy, September 9?13, 2024, Proceedings, Part I (Lecture Notes in Computer Science, 14933)
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. 2025th edition NO-PA16APR2015-KAP. N° de réf. du vendeur 26402825949
Acheter neuf
EUR 73,35
Expédition à EUR 3,45
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9?13, 2024, Proceedings, Part I (Lecture Notes in Computer Science, 14933)
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 410328322
Acheter neuf
EUR 70,60
Expédition à EUR 7,59
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9?13, 2024, Proceedings, Part I (Lecture Notes in Computer Science, 14933)
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 18402825943
Acheter neuf
EUR 73,62
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
Formal Methods
Edité par
Springer Verlag GmbH, 2024
ISBN 10 : 3031711610
ISBN 13 : 9783031711619
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 1780998984
Acheter neuf
EUR 39,89
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
Formal Methods: 26th International Symposium, Fm 2024, Milan, Italy, September 913, 2024, Proceedings
Edité par
Springer-Nature New York Inc, 2024
ISBN 10 : 3031711610
ISBN 13 : 9783031711619
Neuf
Paperback
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 650 pages. 9.25x6.10x9.21 inches. In Stock. N° de réf. du vendeur x-3031711610
Acheter neuf
EUR 78,62
Expédition à EUR 14,59
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Formal Methods
Edité par
Springer, Palgrave Macmillan Sep 2024, 2024
ISBN 10 : 3031711610
ISBN 13 : 9783031711619
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 -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 704 pp. Englisch. N° de réf. du vendeur 9783031711619
Acheter neuf
EUR 42,79
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)