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

Part III.; Computer Aided Verification

38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part III
Search for this author
Year: 2026
Publisher: Berlin, Springer
Volume: Part III.
Series: Lecture notes in computer science; 16684
Media group: MONOGRAPHIE
available

Copies

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

Details

Search for this author
Year: 2026
Publisher: Berlin, Springer
Volume: Part III.
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-032-32536-5
ISBN (2nd): 3-032-32536-6
Description: XXI, 600 S.
Series: Lecture notes in computer science; 16684
Participating parties: Search for this character Darulova, Eva ; Lin, Anthony Widjaja ; Rümmer, Philipp
Media group: MONOGRAPHIE