Гэри Т. Ливенс - Gary T. Leavens
 | Бұл тірі адамның өмірбаяны тым көп сүйенеді сілтемелер дейін бастапқы көздер. (Сәуір 2009 ж) (Бұл шаблон хабарламасын қалай және қашан жою керектігін біліп алыңыз) |
Гэри Т. Ливенс[1] Бұл профессор туралы Информатика электротехника және информатика мектебінде, Орталық Флорида университеті Америка Құрама Штаттарында. Оның ең танымал жұмысы - мінез-құлық интерфейсі спецификация тілдері (BISL) сияқты Қарағай / Smalltalk, Қарағай / C ++, және JML. 1989 жылдан 2007 жылға дейін ол а профессор туралы Информатика кезінде Айова штатының университеті.
Ол сонымен қатар 2009 жылға арналған бағдарлама төрағасы OOPSLA.
Билікті бақылау  |
|---|
Әдебиеттер тізімі
- ^ Гари Т. Ливенстің басты беті: http://www.eecs.ucf.edu/~leavens/
| P ≟ NP | Қатысты бұл өмірбаяндық мақала информатик Бұл бұта. Сіз Уикипедияға көмектесе аласыз оны кеңейту. |