Integrated Formal Methods: 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings
Author:   Paula Herber ,  Anton Wijs
Publisher:   Springer International Publishing AG
Edition:   1st ed. 2024
Volume:   14300
ISBN:  

9783031477041


Pages:   400
Publication Date:   11 November 2023
Format:   Paperback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $316.77 Quantity:  
Add to Cart

Share |

Integrated Formal Methods: 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings


Add your own review!

Overview

This volume LNCS 14300 constitutes the refereed proceedings of the 18th International Conference, IFM 2023, in November 2023, held in Leiden, The Netherlands.   The 16 full papers presented together with 2 short papers were carefully reviewed and selected from 51 submissions. The conference focuses on all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support, and the use of such techniques in software engineering practice.

Full Product Details

Author:   Paula Herber ,  Anton Wijs
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Edition:   1st ed. 2024
Volume:   14300
Weight:   0.640kg
ISBN:  

9783031477041


ISBN 10:   3031477049
Pages:   400
Publication Date:   11 November 2023
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now