000 00640nmm a2200217Ia 4500
001 EBK33493
005 20250329114436.0
008 250329s9999 xx 000 0 und d
020 _a9783030995270
100 _aDana Fisman
245 0 _aTools and Algorithms for the Construction and Analysis of Systems
250 _a1st ed. 2022
260 _bSpringer
260 _c2022
490 _aLecture Notes in Computer Science
650 _aLaw and Criminology
700 _a Grigore Rosu
856 _3Click here to access online
856 _uhttps://link.springer.com/openurl?genre=book&isbn=978-3-030-99527-0
942 _cEBK
999 _c181879
_d181879