26 Мар
2010
26 Мар
'10
15:49
Дорогие студенты,
Пожалуйста, используйте inline для более наглядного представления lock и unlock в модели. То же самое, в принципе, можно сделать и с malloc/free.
С уважением, Константин Савенков.
5585
Age (days ago)
5585
Last active (days ago)
0 комментариев
1 участников
участники (1)
-
model checking course mailing list