Вы здесь
Lambert J. -L.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Software Verification Based on Linear Programming | 1999 | Dellacherie S., Devulder S., Lambert J. -L. | Lecture Notes in Computer Science | 26.10.1999 |