2,828,824 книг
895,252 авторов
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)

рецензии на книгу
покупка/продажа
Эта страничка была запрошена 3397 раз(а).
Фурдуй Федор Иванович
Стресс и здоровье
Преобрету книгу "Стресс и здоровье" Автор: Фурдуй ... (далее...)


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

Copyright (c) Biblus Inc., 2000-2015