Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops (Paperback)

Name: Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops (Paperback)
Author: Jose Proenca
ISBN: 9783031947476

Jose Proenca

Language: English

Published by Springer International Publishing AG, Cham, 2025

3031947479 / 9783031947476

Softcover
New

See all details

Seller: CitiRetail, Stevenage, United KingdomCitiRetail

5-star seller

AbeBooks seller since June 29, 2022

View this seller's items

Softcover

Condition: New

US$ 105.70

US$ 49.32 shipping

Ships from United Kingdom to 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 constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024. The 20 full papers presented in this book were carefully reviewed and selected from 36 submissions. SEFM 2024 Collocated Workshops presents the following two workshops:ReacTS 2024: International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications.CIFMA 2024: 6th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications. This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.…

Seller Inventory # 9783031947476

Contact seller about this item

Report this item

Title: Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops (Paperback)
Author: Jose Proenca
Publisher: Springer International Publishing AG, Cham
Publication year: 2025
Condition: new
Binding: Paperback
Language: English
ISBN 10: 3031947479
ISBN 13: 9783031947476

CitiRetail

Stevenage, United Kingdom

5-star seller

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$ 49.32	US$ 49.32

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.