Articles liés à Formal Methods: 25th International Symposium, FM 2023,...
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings - Couverture souple
Synopsis
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.
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: 25th International Symposium, FM 2023,...
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-345367
Acheter neuf
EUR 98,56
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 10 disponible(s)
Image d'archives
Formal Methods (Paperback)
Edité par
Springer International Publishing AG, Cham, 2023
ISBN 10 : 3031274806
ISBN 13 : 9783031274800
Neuf
Paperback
Edition originale
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : new. Paperback. This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Luebeck, 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. This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Luebeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9783031274800
Acheter neuf
EUR 111,94
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings (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 ria9783031274800_new
Acheter neuf
EUR 104,43
Expédition à EUR 14,02
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Formal Methods: 25th International Symposium, Fm 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Edité par
Springer-Nature New York Inc, 2023
ISBN 10 : 3031274806
ISBN 13 : 9783031274800
Neuf
Paperback
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 675 pages. 9.25x6.10x1.36 inches. In Stock. This item is printed on demand. N° de réf. du vendeur __3031274806
Acheter neuf
EUR 108,46
Expédition à EUR 14,63
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: 25th International Symposium, Fm 2023, Lübeck, Germany, March 6-10, 2023, Proceedings: 14000 (Lecture Notes in Computer Science, 14000) [Paperback] [Mar 03, 2023] Chechik, Marsha; Katoen, Joost-Pieter and Leucker, Martin
Vendeur : StainesBook, Weybridge, SURRE, Royaume-Uni
Évaluation du vendeur 1 sur 5 étoiles
Etat : New. A brand new book in pristine condition. Showing zero signs of shelf wear, creases, or damage. N° de réf. du vendeur SPRINGERNEWLISTING100238
Acheter neuf
EUR 89,20
Expédition à EUR 35,11
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
Edité par
Springer International Publishing Mrz 2023, 2023
ISBN 10 : 3031274806
ISBN 13 : 9783031274800
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 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. 676 pp. Englisch. N° de réf. du vendeur 9783031274800
Acheter neuf
EUR 106,99
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Formal Methods
Edité par
Springer, Berlin|Springer International Publishing|Springer, 2023
ISBN 10 : 3031274806
ISBN 13 : 9783031274800
Neuf
Kartoniert / Broschiert
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Kartoniert / Broschiert. Etat : New. N° de réf. du vendeur 807956905
Acheter neuf
EUR 92,27
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 : 25th International Symp
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur V9783031274800
Acheter neuf
EUR 133,08
Expédition à EUR 9,50
Expédition depuis Irlande vers Etats-Unis
Expédition depuis Irlande vers Etats-Unis
Quantité disponible : 15 disponible(s)
Image d'archives
Formal Methods: 25th International Symposium, FM 2023, L?beck, Germany, March 6?10, 2023, Proceedings: 14000 (Lecture Notes in Computer Science)
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. N° de réf. du vendeur 26396027847
Acheter neuf
EUR 152,17
Expédition à EUR 3,46
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Formal Methods: 25th International Symposium, FM 2023, L?beck, Germany, March 6?10, 2023, Proceedings: 14000 (Lecture Notes in Computer Science)
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 401430552
Acheter neuf
EUR 155,82
Expédition à EUR 7,61
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 4 disponible(s)