Publisher's Synopsis
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023.
Paperback (03 Mar 2023)
Save $14.42
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023.
ISBN: | 9783031274800 |
Publisher: | Springer International Publishing |
Imprint: | Springer |
Pub date: | 03 Mar 2023 |
DEWEY: | 004.0151 |
DEWEY edition: | 23 |
Language: | English |
Number of pages: | xvi, 659 |
Weight: | 930g |
Height: | 235mm |
Width: | 155mm |
Spine width: | 35mm |