Reihe Monographs in Computer ScienceSpringer US × An Applied Theory of Concurrency and Composition Jayadev MisraSpringer USHardcover Verification Algorithms for Concurrent and Reactive Systems Pierre WolperSpringer USHardcover Test Generation technology for Digital Integrated CircuitsFoundations, Technology, ToolsSpringer USHardcover Grammatical Inference Yasubumi SakakibaraSpringer USHardcover308 Treffer 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31