Delivery included to the United States

Integrated Formal Methods

Integrated Formal Methods 19th International Conference, IFM 2024, Manchester, UK November 13-15, 2024, Proceedings - Lecture Notes in Computer Science

Paperback (13 Nov 2024)

  • $164.05
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's Synopsis

This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK.  

The 19 full papers presented in this volume were carefully reviewed and selected from 58 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.

Book information

ISBN: 9783031765537
Publisher: Springer Nature Switzerland
Imprint: Springer
Pub date:
DEWEY: 004.0151
DEWEY edition: 23
Language: English
Number of pages: 328
Weight: -1g
Height: 235mm
Width: 155mm