Cover von Tests and Proofs opens in new tab

Tests and Proofs

8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24 - 25, 2014, Proceedings
Search for this author
Year: 2014
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 8570
Media group: MONOGRAPHIE
available

Copies

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

Content

International Conference on Tests and Proofs <8, 2014, York>

Details

Search for this author
Year: 2014
Publisher: Heidelberg, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-319-09098-6
ISBN (2nd): 3-319-09098-4
Description: XII, 211 S.
Series: Lecture notes in computer science; 8570
Participating parties: Search for this character Seidl, Martina; Tillmann, Nikolai
Media group: MONOGRAPHIE