Articoli correlati a Formal Methods: 25th International Symposium, FM 2023,...
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings: 14000 - Brossura
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Formal Methods: 25th International Symposium, FM 2023,...
Foto dell'editore
Formal Methods (eng)
Print on DemandDa: Brook Bookstore On Demand, Napoli, NA, Italia
Valutazione del venditore 5 su 5 stelle
Condizione: new. Questo è un articolo print on demand. Codice articolo ORODJLSV1D
Compra nuovo
EUR 86,24
Spedizione EUR 8,00
Spedito da Italia a U.S.A.
Spedito da Italia a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
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
Da: StainesBookhub, Weybridge, SURRE, Regno Unito
Valutazione del venditore 2 su 5 stelle
Condizione: New. A brand new book in pristine condition. Showing zero signs of shelf wear, creases, or damage. Codice articolo SPRINGERNEWLISTING100238
Compra nuovo
EUR 89,67
Spedizione EUR 34,99
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings (Lecture Notes in Computer Science, 14000)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. Codice articolo I-9783031274800
Compra nuovo
EUR 126,44
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Formal Methods
Editore:
Springer International Publishing Mrz 2023, 2023
ISBN 10: 3031274806
ISBN 13: 9783031274800
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783031274800
Compra nuovo
EUR 106,99
Spedizione EUR 23,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings (Lecture Notes in Computer Science, 14000)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In English. Codice articolo ria9783031274800_new
Compra nuovo
EUR 116,37
Spedizione EUR 17,42
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Formal Methods
Editore:
Springer, Berlin|Springer International Publishing|Springer, 2023
ISBN 10: 3031274806
ISBN 13: 9783031274800
Nuovo
Kartoniert / Broschiert
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Kartoniert / Broschiert. Condizione: New. Codice articolo 807956905
Compra nuovo
EUR 92,27
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Formal Methods : 25th International Symp
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo V9783031274800
Compra nuovo
EUR 133,08
Spedizione EUR 9,50
Spedito da Irlanda a U.S.A.
Spedito da Irlanda a U.S.A.
Quantità: 15 disponibili
Foto dell'editore
Formal Methods: 25th International Symposium, FM 2023, L?beck, Germany, March 6?10, 2023, Proceedings: 14000 (Lecture Notes in Computer Science)
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. Codice articolo 26396027847
Compra nuovo
EUR 153,18
Spedizione EUR 3,47
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Formal Methods: 25th International Symposium, FM 2023, L?beck, Germany, March 6?10, 2023, Proceedings: 14000 (Lecture Notes in Computer Science)
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. Print on Demand. Codice articolo 401430552
Compra nuovo
EUR 155,68
Spedizione EUR 7,58
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 4 disponibili
Immagini fornite dal venditore
Formal Methods | 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Da: preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Formal Methods | 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings | Marsha Chechik (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvi | Englisch | 2023 | Springer | EAN 9783031274800 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Codice articolo 126494862
Compra nuovo
EUR 95,25
Spedizione EUR 70,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 5 disponibili