Scientific Library of Tomsk State University

   E-catalog        

Refine your search


База знаний по целевым капиталам

  •    Эндаумент
       Фандрайзинг
       Нормативные документы

    • Your search returned 3 results.

    1.
    Верификация моделей программ: Model Checking Эдмунд М. Кларк, мл. , Орна Грамберг, Дорон Пелед; Пер. с англ. В. Захаров и др. ; Под ред. Р. Смелянского

    by Кларк, Эдмунд М. младший | Грамберг, Орна | Пелед, Дорон | Смелянский, Руслан Леонидович [edt].

    Material type: Text Text; Format: print ; Audience: Specialized; Language: Russian Original language: English Publication details: М. МЦНМО 2002Other title: Model Checking.Availability: No items available :
    Log in to add tags Add to cart
    2.
    Структуры данных и проектирование программ Р. Круз ; [пер. 3-го англ. изд. К. Г. Финогенова]

    by Круз, Роберт Л | Финогенов, Кирилл Григорьевич, ?-2010 [trl].

    Series: ПрограммистуMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: М. БИНОМ. Лаб. знаний 2008Availability: No items available :
    Log in to add tags Add to cart
    3.
    Язык программирования C++ Бьерн Страуструп ; пер. с англ. Н. Н. Мартынова

    by Страуструп, Бьерн, 1950-.

    Edition: Специальное изд.Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: Москва БИНОМ 2019Other title: The C++ Programming Language.Availability: No items available :
    Log in to add tags Add to cart