Cover von Integrated Formal Methods opens in new tab

Integrated Formal Methods

19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings
Search for this author
Year: 2024
Publisher: Berlin, Springer
Series: Lecture notes in computer science : Formal Methods; 15234
Media group: MONOGRAPHIE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: LNCS 15234 Location 2: ARCHIVE - BASEMENT Location 3: Status: reference collection

Content

International Conference on Integrated Formal Methods <19, 2024, Manchester>

Details

Search for this author
Year: 2024
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-03-176553-7
ISBN (2nd): 3-03-176553-2
Description: XXII, 328 S.
Series: Lecture notes in computer science : Formal Methods; 15234
Participating parties: Search for this character Kosmatov, Nikolai; Kovács, Laura
Media group: MONOGRAPHIE