Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings (Lecture Notes in Computer Science, 14414)
Language: English
Published by Springer, 2023
- Softcover
- Used
Seller: Marlton Books, Bridgeton, NJ, U.S.A.Marlton Books
AbeBooks seller since July 1, 2025
Condition: Used - Fair
US$ 52.48
Quantity: 1 available
Add to basketItem description from seller
Readable, but has significant damage / tears. Has a remainder mark. paperback Used - Acceptable 2023.
Seller Inventory # AB-002627
- Title
- Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings (Lecture Notes in Computer Science, 14414)
- Publisher
- Springer
- Publication year
- 2023
- Condition
- Acceptable
- Binding
- Soft cover
- Language
- English
- ISBN 10
- 3031493419
- ISBN 13
- 9783031493416
- Item weight
- 8.95 ounces
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.
Marlton Books
Bridgeton, NJ, U.S.A.
AbeBooks seller since July 1, 2025
Shipping rates within U.S.A.
| Item | 5 to 14 business days | 3 to 6 business days |
|---|---|---|
| First item | US$ 3.00 | US$ 7.99 |
Payment methods
Store description
Marlton Books, thousands of New books at discount prices!
Specialty
New and UsedSeller's business information
NY, U.S.A.
Shipping terms
All items ship from the United States.