- 2 402 202 книги
- Поиск
libcats.org
Software Specification Methods
Henri Habrias, Marc FrappierThis title provides a clear overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. The following are just some of the techniques covered: UML, Z, TLA+, SAZ, B, OMT, VHDL, Estelle, SDL and LOTOS.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, сад
Автор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555
Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Neal Stephenson - Baroque Cycle 3 - The System of the World
Автор: Sterling Bruce
Размер книги: 2.15 Mb
Физические основы слухового эффекта СВЧ
Автор: Тигранян Р.Э., Автор: Шорохов В.В.
Размер книги: 2.44 Mb
Atlante della Riqualificazione degli edifici
Автор: Giebeler, Автор: Fisch, Автор: Krause, Автор: Musso, Автор: Petzinka, Автор: Rudolphi
Размер книги: 80.24 Mb
Oxford English for Careers: Medicine 1, Teacher's Resource Book, Volume 1
Автор: Sam McCarter
Размер книги: 87.79 Mb
Проблемы программно-целевого планирования и управления
Автор: Поспелов Г.С. (ред.)Категория: M_Mathematics, MOc_Optimization and control
Размер книги: 8.14 Mb