Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings: 14414 (Lecture Notes in Computer Science, 14414) - Softcover
Synopsis
This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023.
The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions.
"synopsis" may belong to another edition of this title.
Search results for Formal Methods: Foundations and Applications: 26th...
Stock Image
Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings (Lecture Notes in Computer Science)
Seller: Marlton Books, Bridgeton, NJ, U.S.A.
Seller rating 5 out of 5 stars
Condition: Acceptable. Readable, but has significant damage / tears. Has a remainder mark. paperback Used - Acceptable 2023. Seller Inventory # AB-002627
Stock Image
Formal Methods: Foundations and Applications (Paperback)
Published by
Springer International Publishing AG, Cham, 2023
ISBN 10: 3031493419
ISBN 13: 9783031493416
New
Paperback
First Edition
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023.The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions.The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783031493416
Stock Image
Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings (Lecture Notes in Computer Science)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783031493416
Stock Image
Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings (Lecture Notes in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783031493416_new
Buy New
£ 49.62
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4?8, 2023, 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. 2024 edition NO-PA16APR2015-KAP. Seller Inventory # 26398886356
Seller Image
Formal Methods: Foundations and Applications
Published by
Springer Nature Switzerland, Springer International Publishing Dez 2023, 2023
ISBN 10: 3031493419
ISBN 13: 9783031493416
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 the26th Brazilian SymposiumonFormal Methods, SBMF 2023, held inManaus, Brazil, during December 4-8, 2023.The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions.The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation. 176 pp. Englisch. Seller Inventory # 9783031493416
Stock Image
Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4?8, 2023, Proceedings (Lecture Notes in Computer Science)
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand. Seller Inventory # 397490699
Buy New
£ 67.28
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Formal Methods - Foundations and Applications: 26th Brazilian Symposium, Sbmf 2023, Manaus, Brazil, December 4-8, 2023, Proceedings
Published by
Springer-Nature New York Inc, 2024
ISBN 10: 3031493419
ISBN 13: 9783031493416
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 175 pages. 9.25x6.10x0.38 inches. In Stock. Seller Inventory # x-3031493419
Buy New
£ 68.54
£ 10 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Stock Image
Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4?8, 2023, Proceedings (Lecture Notes in Computer Science)
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND. Seller Inventory # 18398886366
Seller Image
Formal Methods: Foundations and Applications
Published by
Springer Nature Switzerland, 2023
ISBN 10: 3031493419
ISBN 13: 9783031493416
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 4 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 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023.The 7 full papers and 2 short papers presented in this book were carefu. Seller Inventory # 1215160988
Buy New
£ 46.89
£ 42.28 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available