Методы формальной верификации программ : лаб. практикум [для студентов напр. подгот. 230100.68 «Информатика и вычислительная техника».]учебно-методический материал (лабораторные работы)
Похожие публикации
Методы формальной верификации программ : учеб.-метод. пособие для самостоят. работы [для студентов напр. подгот….
- Удалова Юлия Васильевна
- 2013 год
Математические и алгоритмические основы объектно-ориентированного программирования : учеб.-метод. пособие для…
- Удалова Юлия Васильевна
- 2012 год
Математические и алгоритмические основы объектно-ориентированного программирования : учеб.-метод. пособие [для…
- Удалова Юлия Васильевна
- 2013 год
Математические и алгоритмические основы объектно-ориентированного программирования : лаб. практикум [для студентов…
- Удалова Юлия Васильевна
- 2012 год
Теория языков программирования и методы трансляции : лаб. практикум [для студентов спец. 230105]
- Кузнецов Александр Сергеевич
- 2012 год
Теория алгоритмов и структуры данных : учеб.-метод. пособие для выполнения курсовой работы [для студентов напр….
- Редькина Александра Васильевна и др.
- 2015 год
Технология программирования. Использовние процедурной и оъектно-ориентированной парадигм программирования : учеб….
- Легалов Александр Иванович и др.
- 2012 год
Организация и управление высокопроизводительными вычислительными комплексами : учеб.-метод. пособие для лаб. работ …
- Кузьмин Дмитрий Александрович и др.
- 2013 год
Высокоуровневые методы информатики и программирования : учеб.-метод. пособие для лаб. работ [для студентов спец. спец…
- Пупков Александр Николаевич
- 2012 год
Операционные системы : учеб.-метод. пособие [для студентов спец. 230100.62 «Информатика и вычислительная техника»,…
- Сидоров Анатолий Юрьевич и др.
- 2012 год
Методы глобальной оптимизации : учеб.-метод. пособие для практич. работ [для студентов напр. 220100.68 «Системный…
- Даничев Алексей Александрович
- 2013 год
Надежность информационных систем : учеб.-метод. пособие для лаб. работ [для студентов спец. 230201.65 «Информационные…
- Добронец Борис Станиславович
- 2012 год
Организация облачных вычислений : учеб.-метод. пособие для лабораторных работ [для магистрантов напр. 09.04.01 …
- Астриков Дмитрий Юрьевич и др.
- 2015 год
Математические и алгоритмические основы объектно-ориентированных систем программирования : учеб.-метод. пособие для…
- Редькина Александра Васильевна
- 2012 год