Automated Theorem Proving in Software EngineeringЭлектронная книгаAutomated Theorem Proving in Software EngineeringавтораJohann M. SchumannРейтинг: 0 из 5 звезд0 оценокСохранить Automated Theorem Proving in Software Engineering на потом