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

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

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

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

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

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

visits

  Найти:
Ги де Мопассан
Ги де Мопассан. Собрание сочинений в 10 томах (комплект)
Состояние книг - очень хорошее. (далее...)

Верификация 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)

рецензии на книгу
покупка/продажа
Эта страничка была запрошена 3432 раз(а).
Граник Генриетта Григорьевна
Секреты орфографии
Состояние книги - хорошее. (далее...)


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

Copyright (c) Biblus Inc., 2000-2015