Formal Methods and Software Engineering: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings

This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024. The 22 full papers presented were carefully reviewed and selected from 50 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methods Read More

This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024. The 22 full papers presented were carefully reviewed and selected from 50 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methods Read Less

• All from $22.50
• New Books from $79.44
• eBook from $22.50

• All Copies (1)
• Softcover (1)
• Choose Edition (1)

• Book Details
• Seller
• Sort U.K./EUR Sellers Price: Low to High Price: High to Low Condition Condition: Reverse Pub Date Pub Date: Reverse Sellers Near Me

• eBook, Digital 2024, Springer eBook ISBN: 9789819606160 Format: EPUB eBook eBook Purchase Options

  Alibris Digital BEST Digital download

  $22.50 More Details

• Trade paperback, New 2024, Springer ISBN-13: 9789819606160 See Item Details ▾

  Alibris BEST NV, USA

  $79.44 Add to Basket Add this copy of Formal Methods and Software Engineering: 25th to cart. $79.44, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2025 by Springer.

  	Edition: 2024, Springer Trade paperback, New Available Copies: 10+	Details: ISBN: 9819606160 ISBN-13: 9789819606160 Pages: 410 Publisher: Springer Published: 2025 Language: English Alibris ID: 18181592985	Shipping Options: Standard Shipping: $4.59 Choose your shipping method in Checkout. Costs may vary based on destination.
  Seller's Description: New. Print on demand Trade paperback (US). Glued binding. 397 p. Contains: Illustrations, black & white. Lecture Notes in Computer Science, 15394.
  ► Contact This Seller
  Hide Details ▴

2024, Springer, Singapore ISBN-13: 9789819606160 Trade paperback See All from $79.44 eBook from $22.50