இதைப் பெறுங்கள் : Principles of model checking [electronic resource] / Christel Baier, Joost-Pieter Katoen.

தலைப்பு : Principles of model checking [electronic resource] / Christel Baier, Joost-Pieter Katoen.

அழைப்பு எண் : அழைப்பு எண் இல்லை

நிலை : அறியப்படாத