Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
Мехматянам
square Первый курс

square Второй курс

square Третий курс

square Четвертый курс

square Пятый курс
blank
Авторизация

       
blank
Поиск по указателям

blank
Красота
blank
blank
Результат поиска

Поиск книг, содержащих: Program verification



КнигаСтраницы для поиска
Воройский Ф.С. — Информатика. Новый систематизированный толковый словарь326
Grimaldi R.P. — Discrete and combinatorial mathematics. An introduction194
Patton P., Jayaswal B. — Design for Trustworthy Software: Tools, Techniques, and Methodology of Developing Robust Software
Nash J.C., Nash M.M. — Scientific Computing with PCs18.1
Kowalski R. — Logic for problem solving204
Sleeman D., Brown J.S. — Intelligent tutoring systems147—148
Bentley J. — More programming pearls(see Correctness)
Bentley J. — Programming pearls35—48, 74, 85—88, 110—112, 125—134, 166, 173, 177, 179, 182
Воройский Ф.С. — Информатика. Энциклопедический словарь-справочник: введение в современные информационные и телекоммуникационные технологии в терминах и фактах304
Kneebone G.T. — Mathematical Logic and the Foundations of Mathematics: An Introductory Survey4, 211—213
Ben-Ari M — Mathematical Logic for Computer Science4, 211—213
Davis M., Sigal R., Weyuker E. — Computability, complexity, and languages: Fundamentals of theoretical computer science536
Rao J.R. — Extensions of the UNITY Methodology: Compositionality, Fairness and Probability in Parallelism4
Grimaldi R.P., Rothman D.J. — Discrete and Combinatorial Mathematics: An Applied Introduction203
McGettrick A.D. — The Definition of Programming Languages160—172, 255, 258
Bentley J. — Programming Pearls35—48, 74, 85—88, 110—112, 125—134, 166, 173, 177, 179, 182
Grimaldi R.P. — Student Solutions Manual for Discrete and Combinatorial Mathematics203
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте