2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Model-Based Software Testing and Analysis with C#
Автор:
Jonathan Jacky
, Автор:
Margus Veanes
, Автор:
Colin Campbell
, Автор:
Wolfram Schulte
Категория:
Компьютеры
,
Программирование
,
Языки программирования
Размер книги: 1.92 Mb
Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings (Lecture Notes in Computer Science)
Автор:
Jim Davies
, Автор:
Wolfram Schulte
, Автор:
Mike Barnett
Категория:
Компьютеры
Размер книги: 14.41 Mb
FM 2011 Formal Methods (Lecture Notes in Computer Science, 6664)
Автор:
Michael Butler
, Автор:
Wolfram Schulte
Размер книги: 4.95 Mb
FM 2011 : formal methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011 : proceedings
Автор:
Michael Butler; Wolfram Schulte
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 5.38 Mb
Model-Based Software Testing and Analysis with C#
Автор:
Jonathan Jacky
, Автор:
Margus Veanes
, Автор:
Colin Campbell
, Автор:
Wolfram Schulte
Размер книги: 2.99 Mb
Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings
Автор:
Jim Davies
, Автор:
Wolfram Schulte
, Автор:
Mike Barnett
Размер книги: 6.34 Mb
