|
 |
Куплю - предложения о
покупке книг |
|
Продам - объявления о
продаже книг |
|
Ищу - объявления о
поиске информации |
|
Предложи свою книгу на
продажу |
|
Попроси нужную тебе
книгу (обмен/продажа) |
|
 |
|
|
|
|
 | Сергеев Александр Николаевич | | Петербургский посол | | Хочу найти и приобрести эту книгу (далее...) |
|
|
 |
Верификация Estelle-спецификаций распределенных систем посредством раскрашенных сетей Петри
- Verification of Estelle specification of distributed systems using coloured Petri nets / В. А. Непомнящий, Г. И. Алексеев, А. В. Быстров и др. ; Под ред. В. А. Непомнящего, Н. В. Шилова; Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова
139 с. ил. 21 см.
Новосибирск ИСИ 1998
1998
|
|
|
Открыть/Закрыть все |
|
издания книги
|
|
| 1998 |
Верификация Estelle-спецификаций распределенных систем посредством раскрашенных сетей Петри - Verification of Estelle specification of distributed systems using coloured Petri nets / В. А. Непомнящий, Г. И. Алексеев, А. В. Быстров и др. ; Под ред. В. А. Непомнящего, Н. В. Шилова; Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова, 139 с. ил. 21 см., Новосибирск ИСИ 1998 |
|
|
рубрики книги
|
|
|
|
|
рецензии на книгу
|
|
|
|
|
покупка/продажа
|
|
|
|
|
Эта страничка была запрошена
3820 раз(а).
|
| Сергеев Александр Николаевич | | Петербургский посол | | Хочу найти и приобрести эту книгу (далее...) |
|
|
|
|
|
|