Պատկեր Amazon.com -ից
Верификация моделей программ= Model Checking / Эдмунд М. Кларк, мл., Орна Грамберг, Дорон Пелед; Пер. с англ. под. ред. В. Захарова и др.
Նյութի տեսակ։
ՏեքստԼեզու: Ռուսերեն Բնօրինակ լեզու: Անգլերեն Հրատարակման մանրամասներ։ Москва : Изд-во Моск. центра непрерыв. мат. образования, 2002.Նկարագրություն։ 416 с. илISBN: - 5-94057-054-2
| Նյութի տեսակ | Ընթացիկ գրադարան | Հավաքածու | Դարակային համար | Վիճակ | Նշումներ | Վերադարձի ամսաթիվ | Շտրիխ կոդ | |
|---|---|---|---|---|---|---|---|---|
Book
|
Fundamental Scientific Library | General | 519.68 (Դիտման դարակ(Բացվում է ներքևում)) | Հասանելի | 25 Days Loan | 120650094 |
Библиогр.: с. 377-399
В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем.
Այս վերնագրի համար չկան մեկնաբանություններ։
Մուտք գործիր քո հաշիվ ուղարկել մեկնաբանություն։