Articoli correlati a Formal Methods: 26th International Symposium, FM 2024,...
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II: 14934 - Brossura
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Formal Methods: 26th International Symposium, FM 2024,...
Foto dell'editore
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II
Da: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Codice articolo G3031711769I3N00
Compra usato
EUR 128,64
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
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 1OG40B5NET
Compra nuovo
EUR 126,26
Spedizione EUR 11,00
Spedito da Italia a U.S.A.
Spedito da Italia a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Formal Methods
ISBN 10: 3031711769
ISBN 13: 9783031711763
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 -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. 654 pp. Englisch. Codice articolo 9783031711763
Compra nuovo
EUR 160,49
Spedizione EUR 23,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Formal Methods
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Codice articolo 1780998988
Compra nuovo
EUR 136,16
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: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II (Lecture Notes in Computer Science, 14934)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In English. Codice articolo ria9783031711763_new
Compra nuovo
EUR 181,81
Spedizione EUR 17,37
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 | 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II
Da: preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Formal Methods | 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II | Andre Platzer (u. a.) | Taschenbuch | xxii | Englisch | 2024 | Springer | EAN 9783031711763 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Codice articolo 129766139
Compra nuovo
EUR 140,10
Spedizione EUR 70,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 5 disponibili
Immagini fornite dal venditore
Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Codice articolo 9783031711763
Compra nuovo
EUR 176,33
Spedizione EUR 42,05
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Formal Methods
Editore:
Springer, Palgrave Macmillan Sep 2024, 2024
ISBN 10: 3031711769
ISBN 13: 9783031711763
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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 676 pp. Englisch. Codice articolo 9783031711763
Compra nuovo
EUR 160,49
Spedizione EUR 60,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9?13, 2024, Proceedings, Part II (Lecture Notes in Computer Science)
Da: Books Puddle, Woodside, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. 2025th edition NO-PA16APR2015-KAP. Codice articolo 26404095325
Compra nuovo
EUR 224,91
Spedizione EUR 3,51
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9?13, 2024, Proceedings, Part II (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 409058946
Compra nuovo
EUR 233,60
Spedizione EUR 7,56
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 4 disponibili