机警 发表于 2025-3-28 16:25:49

problematiek, toe te passen in kortdurende therapievarianten. Het behandelt twee kortdurende protocollen die u los van elkaar of - voor een langere therapie - achtereenvolgend kunt aanbieden. De protocollen zijn geschikt voor individuele schematherapie en voor schemagroepstherapie, waarbij interpers

nurture 发表于 2025-3-28 22:11:36

http://reply.papertrans.cn/35/3458/345777/345777_42.png
页: 1 2 3 4 [5]
查看完整版本: Titlebook: Formal Methods for Hardware Verification; 6th International Sc Marco Bernardo,Alessandro Cimatti Conference proceedings 2006 Springer-Verla