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

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

Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Volume: Part I.
Series: Lecture notes in computer science : ARCoSS; 10805
Media group: MONOGRAPHIE
available

Copies

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

Details

Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Volume: Part I.
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-319-89959-6
ISBN (2nd): 3-319-89959-7
Description: XX, 426 S.
Series: Lecture notes in computer science : ARCoSS; 10805
Participating parties: Search for this character Beyer, Dirk; Huisman, Marieke
Media group: MONOGRAPHIE