Items related to Formal Methods: Foundations and Applications: 26th...
Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings (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, 14414)
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 (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 # UB9ATX6EJK
Buy New
US$ 57.96
US$ 6.16 shipping
Ships from Italy to U.S.A.
Ships from Italy 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
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 47149888
Stock Image
Formal Methods - Foundations and Applications : 26th Brazilian Symposium, Sbmf 2023, Manaus, Brazil, December 4-8, 2023, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 47149888-n
Stock Image
Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings (Lecture Notes in Computer Science, 14414)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783031493416
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
Buy New
US$ 67.90
US$ 25.76 shipping
Ships from Germany to U.S.A.
Ships from Germany 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, 14414)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In English. Seller Inventory # ria9783031493416_new
Buy New
US$ 83.96
US$ 12.40 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, Woodside, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. 1st ed. 2024 edition NO-PA16APR2015-KAP. Seller Inventory # 26398886356
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
US$ 99.65
US$ 8.60 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
US$ 96.90
US$ 13.23 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available