Cover von Deductive Software Verification opens in new tab

Deductive Software Verification

Future Perspectives : Reflections on the Occasion of 20 Years of KeY
Search for this author
Year: 2020
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : State-of-the-Art Survey; 12345
Media group: MONOGRAPHIE
available

Copies

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

Details

Search for this author
Year: 2020
Publisher: Heidelberg, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-030-64353-9
ISBN (2nd): 3-030-64353-0
Description: 338 S.
Series: Lecture notes in computer science : State-of-the-Art Survey; 12345
Participating parties: Search for this character Ahrendt, Wolfgang; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Ulbrich, Mattias
Media group: MONOGRAPHIE