Fr. 103.00

Maurice H ter Beek, Monahan, Rosemary Monahan, Maurice H. Ter Beek

Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings

English · Paperback / Softback

Shipping usually within 1 to 2 weeks (title will be printed to order)

Description

This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022.
The 14 full papers and 2 short papers were carefully reviewed and selected from 46 submissions. The papers are categorized into the following topical sub-headings: Invited Papers; Cooperative and Relational Verification; B Method; Time; Probability; learning and Synthesis; Security; Stats Analysis and Testing; PhD Symposium Presentations.

Product details

Assisted by	Maurice H ter Beek (Editor), Monahan (Editor), Rosemary Monahan (Editor), Maurice H. Ter Beek (Editor)
Publisher	Springer, Berlin

Languages	English
Product format	Paperback / Softback
Released	01.01.2022

EAN	9783031077265
ISBN	978-3-0-3107726-5
No. of pages	373
Dimensions	155 mm x 21 mm x 235 mm
Illustrations	XV, 373 p. 120 illus., 48 illus. in color.
Series	Lecture Notes in Computer Science
Subject	Natural sciences, medicine, IT, technology > IT, data processing > IT

Customer reviews

No reviews have been written for this item yet. Write the first review and be helpful to other users when they decide on a purchase.