Вы здесь

Главная

высказывание

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

Logic and Its Applications: Proc./4th Indian Conference, ICLA 2011, Delhi, India, January 2011
Model-Based Safety and Assessment: Proc./4th International Symposium, IMBSA 2014, Munich, Germany, October 2014
Theory and Applications of Satisfiability Testing - SAT 2014: Proc./17th International Conference Held as Part of the Vienna Summer of Logoc, VSL 2014, Vienna, Austria, July 2014
Верификация алголо-подобных программ методом индуктивных высказываний
О мерах информативности логических высказываний
Язык исполняемых программных спецификаций