检索条件： Workshop on Mathematical Methods of Specification and Synthesis fo Software Systems ( 著者 )
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。
Workshop on Mathematical Methods of Specification and Synthesis of Software Systems(1985 : Wendisch-Rietz)：Mathematical methods of specification and synthesis fo software systems`85 : proceedings
Workshop on Mathematical Methods of Specification and Synthesis fo Software Systems.Springer-Verlag,1986.
加入成功
没有可借图书，您可对该书进行预约，等书还回后会按照预约顺序分配给您
确定预约