Cover von Part I.; Computer Aided Verification opens in new tab

Part I.; Computer Aided Verification

37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I
Search for this author
Year: 2025
Publisher: Heidelberg, Springer
Volume: Part I.
Series: Lecture notes in computer science; 15931
Media group: MONOGRAPHIE
available

Copies

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

Details

Search for this author
Year: 2025
Publisher: Heidelberg, Springer
Volume: Part I.
opens in new tab
Search for this systematic
Subject type: Search for this subject type Seminar1
ISBN: 978-3-031-98667-3
ISBN (2nd): 3-031-98667-9
Description: 413 S.
Series: Lecture notes in computer science; 15931
Participating parties: Search for this character Piskac, Ruzica; Rakamarić, Zvonimir
Media group: MONOGRAPHIE