Items related to Formal Methods: Foundations and Applications: 23rd...
Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings: 12475 (Lecture Notes in Computer Science, 12475) - Softcover
Synopsis
This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020. Instead the symposium took place virtually due to the COVID-19 pandemic.
The 10 regular papers presented together with 3 invited talks in this book were carefully reviewed and selected from 17 submissions. The papers are organized in topical sections such as: experience reports; models, languages and semantics; and software product lines.
Chapter ‘Safety Assurance of a High Voltage Controller for an Industrial Robotic System’ is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2020
- ISBN 10 3030638812
- ISBN 13 9783030638818
- BindingPaperback
- LanguageEnglish
- Edition number1
- Number of pages239
- EditorCarvalho Gustavo, Stolz Volker
Search results for Formal Methods: Foundations and Applications: 23rd...
Stock Image
Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings: 12475 (Lecture Notes in Computer Science, 12475)
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9783030638818
Quantity: 10 available
Stock Image
Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783030638818_new
Quantity: Over 20 available
Seller Image
Formal Methods: Foundations and Applications
Published by
Springer International Publishing Nov 2020, 2020
ISBN 10: 3030638812
ISBN 13: 9783030638818
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 240 pp. Englisch. Seller Inventory # 9783030638818
Quantity: 2 available
Seller Image
Formal Methods: Foundations and Applications : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25¿27, 2020, Proceedings
Published by
Springer International Publishing, 2020
ISBN 10: 3030638812
ISBN 13: 9783030638818
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering. Seller Inventory # 9783030638818
Quantity: 1 available
Seller Image
Formal Methods: Foundations and Applications
Published by
Springer International Publishing, 2020
ISBN 10: 3030638812
ISBN 13: 9783030638818
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 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020. Instead the symposium took place virtually due to the COVID-19 pandemic. Seller Inventory # 416422822
Quantity: Over 20 available
Stock Image
Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings (Programming and Software Engineering)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783030638818
Quantity: Over 20 available
Stock Image
Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25?27, 2020, Proceedings (Lecture Notes in Computer Science)
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand. Seller Inventory # 392433086
Quantity: 4 available
Stock Image
Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25?27, 2020, Proceedings (Lecture Notes in Computer Science)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. 1st ed. 2020 edition NO-PA16APR2015-KAP. Seller Inventory # 26387166817
Quantity: 4 available
Stock Image
Formal Methods - Foundations and Applications: 23rd Brazilian Symposium, Sbmf 2020, Ouro Preto, Brazil, November 2527, 2020, Proceedings
Published by
Springer-Nature New York Inc, 2021
ISBN 10: 3030638812
ISBN 13: 9783030638818
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 250 pages. 9.25x6.10x0.55 inches. In Stock. Seller Inventory # x-3030638812
Quantity: 2 available
Seller Image
Formal Methods: Foundations and Applications
Published by
Springer International Publishing, Springer Nature Switzerland Nov 2020, 2020
ISBN 10: 3030638812
ISBN 13: 9783030638818
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch. Seller Inventory # 9783030638818
Quantity: 2 available