Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Integrated Formal Methods

Name: Integrated Formal Methods
Brand: Springer, Berlin
SKU: 46583255
Price: 142.39 EUR
Availability: InStock
Author: Nikolai Kosmatov
ISBN: 9783031765537

19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings

Nikolai Kosmatov

Laura Kovács

Language

English

Book Paperback

Libristo code: 46583255

Publishers Springer, Berlin, November 2024

This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integr... Full description

Libristo code: 46583255

349 b

142.39 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Voice over IP M Westphal

Paperback

13.99 €

SPA-RIGBY PM COLECCION Rigby

Hardback

80.69 €

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.