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

рецензии на книгу
покупка/продажа
Эта страничка была запрошена 3515 раз(а).
Урбонас Алоизас, Тречякаускас Кястутис
Во имя человека
Ищу книге К.Трячякаускас A.Урбонас "Во имя человек... (далее...)


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

Copyright (c) Biblus Inc., 2000-2015