Items related to Formal Methods: 24th International Symposium, FM 2021,...
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings (Programming and Software Engineering) - Softcover
Synopsis
This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021.
The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections named: Invited Presentations. - Interactive Theorem Proving, Neural Networks & Active Learning, Logics & Theory, Program Verification I, Hybrid Systems, Program Verification II, Automata, Analysis of Complex Systems, Probabilities, Industry Track Invited Papers, Industry Track, Divide et Impera: Efficient Synthesis of Cyber-Physical System.
"synopsis" may belong to another edition of this title.
Search results for Formal Methods: 24th International Symposium, FM 2021,...
Stock Image
Formal Methods
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service. Seller Inventory # POD-300165
Stock Image
Formal Methods (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 5 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # 1DYVYG6NSR
Buy New
US$ 112.19
US$ 12.71 shipping
Ships from Italy to U.S.A.
Ships from Italy to U.S.A.
Quantity: Over 20 available
Stock Image
Formal Methods: 24th International Symposium, Fm 2021, Virtual Event, November 20-26, 2021, Proceedings: 13047 (Lecture Notes in Computer Science, 13047) [Paperback] [Nov 10, 2021] Huisman, Marieke; Päsäreanu, Corina and Zhan, Naijun
Seller: StainesBook, Weybridge, SURRE, United Kingdom
Seller rating 1 out of 5 stars
Condition: New. A brand new book in pristine condition. Showing zero signs of shelf wear, creases, or damage. Seller Inventory # SPRINGERNEWLISTING130165
Buy New
US$ 110.00
US$ 40.47 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783030908690_new
Buy New
US$ 148.83
US$ 16.16 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Formal Methods
Published by
Springer International Publishing Nov 2021, 2021
ISBN 10: 3030908690
ISBN 13: 9783030908690
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021.The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections named: Invited Presentations. - Interactive Theorem Proving, Neural Networks & Active Learning, Logics & Theory, Program Verification I, Hybrid Systems, Program Verification II, Automata, Analysis of Complex Systems, Probabilities, Industry Track Invited Papers, Industry Track, Divide et Impera: Efficient Synthesis of Cyber-Physical System. 820 pp. Englisch. Seller Inventory # 9783030908690
Buy New
US$ 140.08
US$ 26.58 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Seller Image
Formal Methods
Published by
Springer, Berlin|Springer International Publishing|Springer, 2022
ISBN 10: 3030908690
ISBN 13: 9783030908690
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021. The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. Seller Inventory # 517241507
Buy New
US$ 120.27
US$ 56.61 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Stock Image
Formal Methods : 24th International Symp
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # V9783030908690
Buy New
US$ 173.11
US$ 10.98 shipping
Ships from Ireland to U.S.A.
Ships from Ireland to U.S.A.
Quantity: 15 available
Stock Image
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20?26, 2021, Proceedings (Programming and Software Engineering)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. 1st ed. 2021 edition NO-PA16APR2015-KAP. Seller Inventory # 26390224453
Stock Image
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20?26, 2021, Proceedings (Programming and Software Engineering)
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand. Seller Inventory # 389408154
Buy New
US$ 194.24
US$ 8.77 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Seller Image
Formal Methods | 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Formal Methods | 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings | Marieke Huisman (u. a.) | Taschenbuch | xvii | Englisch | 2021 | Springer | EAN 9783030908690 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Seller Inventory # 120681906
Buy New
US$ 124.03
US$ 80.89 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 5 available