Formal Methods and Software Engineering (Paperback)

Name: Formal Methods and Software Engineering (Paperback)
Author: Etienne Andre
ISBN: 9789819542123

Etienne Andre

Language: English

Published by Springer Verlag, Singapore, Singapore, 2025

981954212X / 9789819542123

Softcover
New

See all details

Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail

5-star seller

AbeBooks seller since October 12, 2005

View this seller's items

Softcover

Condition: New

US$ 105.66

Free Shipping

Ships within U.S.A.

Quantity: 1 available

Add to basket

Free 30-day returns

Save for laterCreate a Want for similar items

Item description from seller

Paperback. 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 1013, 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

Seller Inventory # 9789819542123

Contact seller about this item

Report this item

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

Grand Eagle Retail

Bensenville, IL, U.S.A.

5-star seller

AbeBooks seller since October 12, 2005

Shipping rates within U.S.A.

Item	6 to 14 business days	6 to 16 business days
First item	US$ 0.00	US$ 0.00

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.