Содержание:
1. Формальные методы описания;
2. Язык формального описания ESTELLE;
3. Язык формального описания LOTOS;
4. Язык формального описания OCA;
5. Анализ формальных спецификаций;
6. Спецификация транспортного протокола.
В продаже
Хочу купить
сейчас этого издания книги в продаже нет
попробуйте поискать другие издания этого произведения при помощи ссылок ниже
или оставьте объявление о покупке или продаже