Integrated Formal Methods

Anton Wijs

ISBN 10: 3031477049 / ISBN 13: 9783031477041

Published by Springer Nature Switzerland, Springer Nature Switzerland Nov 2023, 2023

About this Item

This item is printed on demand - it takes 3-4 days longer - Neuware -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 onall 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. 424 pp. Englisch.

Seller Inventory # 9783031477041

Bibliographic Details

• Title: Integrated Formal Methods
• Publisher: Springer Nature Switzerland, Springer Nature Switzerland Nov 2023
• Publication Date: 2023
• Language: English
• ISBN 10: 3031477049
• ISBN 13: 9783031477041
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 23D millimeters 235 millimeters width by 155 millimeters height by 23 millimeters depth
• Weight: 639 grams

About this title

Synopsis

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.