Cover von Part III.; Tools and Algorithms for the Construction and Analysis of Systems opens in new tab

Part III.; Tools and Algorithms for the Construction and Analysis of Systems

25 Years of TACAS : TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6 - 11, 2019, Proceedings, Part III
Search for this author
Year: 2019
Publisher: Heidelberg, Springer
Volume: Part III.
Series: Lecture notes in computer science : ARCoSS; 11429
Media group: MONOGRAPHIE
available

Copies

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

Details

Search for this author
Year: 2019
Publisher: Heidelberg, Springer
Volume: Part III.
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-030-17501-6
ISBN (2nd): 3-030-17501-4
Description: xxvii, 255 S.
Series: Lecture notes in computer science : ARCoSS; 11429
Participating parties: Search for this character Beyer, Dirk; Huisman, Marieke; Kordon, Fabrice; Steffen, Bernhard
Media group: MONOGRAPHIE