Cover von Tests and Proofs opens in new tab

Tests and Proofs

14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22 - 23, 2020, Proceedings
Search for this author
Year: 2020
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 12165
Media group: MONOGRAPHIE
available

Copies

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

Content

International Conference on Tests and Proofs <14, 2020, Bergen>

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-50994-1
ISBN (2nd): 3-030-50994-X
Description: 179 S.
Series: Lecture notes in computer science; 12165
Participating parties: Search for this character Ahrendt, Wolfgang; Wehrheim, Heike
Media group: MONOGRAPHIE