【预订】Model Checking, Synthesis, and Learning 9783030913830

【4周达】Model Checking, Synthesis, and Learning : Essays Dedicated to Bengt Jonsson on The Occasion ... [9783030913830]