Reihe Monographs in Computer ScienceSpringer US × Verification Algorithms for Concurrent and Reactive Systems Pierre WolperSpringer USHardcover An Applied Theory of Concurrency and Composition Jayadev MisraSpringer USHardcover Test Generation technology for Digital Integrated CircuitsFoundations, Technology, ToolsSpringer USHardcover Grammatical Inference Yasubumi SakakibaraSpringer USHardcover Verification Algorithms for Concurrent and Reactive Systems Pierre WolperSpringer USHardcover An Applied Theory of Concurrency and Composition Jayadev MisraSpringer 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
