2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Variations on Constants: Flow Analysis of Sequential and Parallel Programs (Lecture Notes in Computer Science Programming and Software Engineering)
Автор:
Markus Müller-Olm
Категория:
Компьютеры
Размер книги: 1.74 Mb
Verification, Model Checking, and Abstract Interpretation, 10 conf., VMCAI 2009
Автор:
Neil D. Jones
, Автор:
Markus Müller-Olm
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 3.93 Mb
Modular Compiler Verification - A Refinement-Algebraic Approach Advocating Stepwise Abstraction
Автор:
Markus Müller-Olm
Категория:
CsLn_
Размер книги: 1.74 Mb
Variations on Constants: Flow Analysis of Sequential and Parallel Programs
Автор:
Markus Müller-Olm
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 1.12 Mb
Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings ... Computer Science and General Issues)
Автор:
Neil D. Jones
, Автор:
Markus Müller-Olm
Размер книги: 5.07 Mb
