Բեռնվում է…
Верификация моделей программ= Model Checking /
В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем....
Պահպանված է:
| Հիմնական հեղինակ: | |
|---|---|
| Այլ հեղինակներ: | , , |
| Ձևաչափ: | Գիրք |
| Լեզու: | Russian English |
| Հրապարակվել է: |
Москва :
Изд-во Моск. центра непрерыв. мат. образования,
2002.
|
| Խորագրեր: | |
| Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|