000 00597nmm a2200193Ia 4500
001 EBK15768
005 20250328150613.0
008 250328s9999 xx 000 0 und d
020 _a9783319510460
100 _aThomas Gibson-Robinson
245 0 _a"Concurrency, Security, and Puzzles"
650 _aComputer Science
650 _aComputer Science Logic and Foundations of Programming
700 _a Philippa Hopcroft
700 _a Ranko Lazic
856 _3Click here to access online
856 _uhttps://link.springer.com/openurl?genre=book&isbn=978-3-319-51046-0
942 _cEBK
999 _c163773
_d163773