Formal Methods and Software Engineering (Paperback)
Language: English
Published by Springer Verlag, Singapore, Singapore, 2025
- Softcover
- New
Seller: CitiRetail, Stevenage, United KingdomCitiRetail
AbeBooks seller since June 29, 2022
Condition: New
US$ 85.79
Quantity: 1 available
Add to basketItem description from seller
Seller Inventory # 9789819542123
- Title
- Formal Methods and Software Engineering (Paperback)
- Author
- Etienne Andre
- Publisher
- Springer Verlag, Singapore, Singapore
- Publication year
- 2025
- Condition
- new
- Binding
- Paperback
- Language
- English
- ISBN 10
- 981954212X
- ISBN 13
- 9789819542123
This volume LNCS 16229 constitutes the refereed proceedings of 26th International Conference on Formal Methods and Software Engineering, ICFEM 2025, in Hangzhou, China, during November 10–13, 2025.
The 20 full papers presented were carefully reviewed and selected from 47 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methods.
"Synopsis" may belong to another edition of this title.
CitiRetail
Stevenage, United Kingdom
AbeBooks seller since June 29, 2022
Shipping rates from United Kingdom to U.S.A.
| Item | 7 to 14 business days | 7 to 60 business days |
|---|---|---|
| First item | US$ 50.12 | US$ 50.12 |
Payment methods
Store description
Seller's business information
ABC BOOKS LIMITED
10 John Street
London, United Kingdom WC1N 2EB
Terms of sale
Orders can be returned within 30 days of receipt.
Shipping terms
Please note that titles are dispatched from our US, Canadian or Australian warehouses. Delivery times specified in shipping terms. Orders ship within 2 business days. Delivery to your door then takes 7-14 days.