Ցուցադրվում են
1 - 1
արդյունքները
1
այս փնտրման համար '
'
Անցեք բովանդակությանը
VuFind
Ձեր հաշիվը
Դուրս գալ
Մուտք
Լեզու
Հայերէն
English
Deutsch
Français
Русский
Բոլոր դաշտերը
Վերնագիր
Հեղինակ
Խորագիր
Դասիչ
ISBN/ISSN
Ցուցիչ
Գտեք
Ընդլայնված
Զտիչների վերակայում
Հեղինակ:
Грамберг, Орна
AND
Захаров, В
AND
Кларк, Эдмунд М., мл
Գրադարան:
Հիմնարար գիտական գրադարան
Լեզու:
English
Առաջարկվող թեմաներ:
Вычислительная техника
AND
Вычислительные машины электронные цифровые
AND
Программирование
Զտիչների վերակայում
Ցույց տալ զտիչները (8)
Հեղինակ:
Грамберг, Орна
AND
Захаров, В
AND
Кларк, Эдмунд М., мл
Գրադարան:
Հիմնարար գիտական գրադարան
Լեզու:
English
Առաջարկվող թեմաներ:
Вычислительная техника
AND
Вычислительные машины электронные цифровые
AND
Программирование
Որոնման արդյունքները
Առաջարկվող թեմաներ ձեր որոնման շրջանակներում:
Առաջարկվող թեմաներ ձեր որոնման շրջանակներում:
Автоматизация
1
Вычислительная техника
Вычислительные машины электронные цифровые
Программирование
Ցուցադրվում են
1 - 1
արդյունքները
1
այս փնտրման համար '
'
, հարցման ժամանակը: 0.01s
Հստակեցնել արդյունքները
Տեսակավորել
Համապատասխանություն
Ամսաթիվը նվազող
Ամսաթիվը Աճող
Դասիչ
Հեղինակ
Վերնագիր
1
Բեռնվում է…
Верификация моделей программ= Model Checking /
Кларк, Эдмунд М., мл
Հրապարակվել է 2002
Դասիչ:
Բեռնվում է…
Տեղակայված է:
Բեռնվում է…
Գիրք
Բեռնվում է…
Պահել ցուցակում
Պահպանված է:
Որոնման գործիքներ:
Ստացեք RSS հոսք
–
Էլփոստով ուղարկեք այս փնտրումը
–
Պահպանել որոնումը
Հետ
Հստակեցնել արդյունքները
Հաստատություն
Fundamental Scientific Library
1
Գրադարան
Հիմնարար գիտական գրադարան
Ձևաչափ
Գիրք
1
Հեղինակ
Грамберг, Орна
Захаров, В
Кларк, Эдмунд М., мл
Пелед, Дорон
1
Լեզու
English
Russian
1
Հրատարակման տարի
Սկսած:
Դեպի: