Вы здесь

Главная

дедуктивный метод

Связанные издания:

Computer Science - Theory and Applications: Proc./11th International Computer Science Symposium in Russia, CSR 2016, St.Petersburg, Russia, June 2016
Deductive Approach to Verification of Telecommunication Systems Written in C
Deductive Software Verification - The KeY Book: From Theory to Practice
Static Analysis: Proc./26th International Symposium, SAS 2019, Porto, Portugal, October 2019
Verification, Model Checking, and Abstract Interpretation: Proc./11th International Conference, VMCAI 2010, Madrid, Spain, January 2010
Verification, Model Checking, and Abstract Interpretation: Proc./12th International Conference, VMCAI 2011, Austin,TX,USA, January 2011
Verification, Model Checking, and Abstract Interpretation: Proc./18th International Conference, VMCAI 2017, Paris, France, January 2017
Почему не работают программы. Руководство по системной отладке