Sergey_Sergeevich, честно — не знаю. Во времена когда я учился (не так давно — лет 10 назад) — на русском ничего близко не было, сейчас может чего перевели, но рыться лень.
UPD: всё-таки порылся, оказывается, через 3 года как я окончил вуз что-то перевели и даже что-то написали свое, см. список в Википедии ( ru.m.wikipedia.org/wiki/%D0%94%D0%B8%D0%B7%D0%B0%D0%B9%D0%BD_%D0%BC%D0%B5%D1%85%D0%B0%D0%BD%D0%B8%D0%B7%D0%BC%D0%BE%D0%B2 ). Насколько это прикладно и удобоваримо — не в курсе.