000 00645nam a2200205Ia 4500
005 20260601193228.0
008 260601s9999||||xx |||||||||||||| ||und||
020 _a978-3-031-44734-1
_qebk
100 _aRaimund Ubar
245 0 _aStructural Decision Diagrams in Digital Test
250 _a1st ed. 2024
260 _aHeidelberg, Germany
_bSpringer Nature
_c2024
440 _aComputer Science Foundations and Applied Logic
650 _aComputer Science
700 _aArtur Jutman
700 _aJaan Raik
700 _aMaksim Jenihhin
856 _uhttps://link.springer.com/openurl?genre=book&isbn=978-3-031-44734-1
942 _cEB
_2ddc
999 _c56010
_d56010