2,828,778 книг
895,242 авторов
126,126 рубрик

Рубрикатор
Указатель авторов
Найди книгу
Добавь книгу
Услуги авторам ***

Последние рецензии
Последние предложения

Самые популярные

Интересные факты
Информация о проекте

Куплю - предложения о покупке книг
Продам - объявления о продаже книг
Ищу - объявления о поиске информации
Предложи свою книгу на продажу
Попроси нужную тебе книгу (обмен/продажа)

visits

  Найти:
Кирюшин Владимир В.
Таблицы-конспекты
Очень нужно для работы! (далее...)

Верификация Estelle-спецификаций распределенных систем посредством раскрашенных сетей Петри
- Verification of Estelle specification of distributed systems using coloured Petri nets / В. А. Непомнящий, Г. И. Алексеев, А. В. Быстров и др. ; Под ред. В. А. Непомнящего, Н. В. Шилова; Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова
139 с. ил. 21 см.
Новосибирск ИСИ 1998
1998


Expand/Collapse All Открыть/Закрыть все
издания книги

1998
Верификация Estelle-спецификаций распределенных систем посредством раскрашенных сетей Петри - Verification of Estelle specification of distributed systems using coloured Petri nets / В. А. Непомнящий, Г. И. Алексеев, А. В. Быстров и др. ; Под ред. В. А. Непомнящего, Н. В. Шилова; Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова, 139 с. ил. 21 см., Новосибирск ИСИ 1998

рубрики книги

519.179.2Сети
004.4Программное обеспечение (software)

рецензии на книгу
покупка/продажа
Эта страничка была запрошена 3349 раз(а).
А. Базилевский, В. Барышева
Дизайн. Технология. Форма
Ищу данную книгу! Для себя,для учебы, кто изучил п... (далее...)


Cообщить об ошибке на этой странице

Copyright (c) Biblus Inc., 2000-2015