|
 |
Куплю - предложения о
покупке книг |
|
Продам - объявления о
продаже книг |
|
Ищу - объявления о
поиске информации |
|
Предложи свою книгу на
продажу |
|
Попроси нужную тебе
книгу (обмен/продажа) |
|
 |
|
|
|
|
 | Гринцер Павел Александрович | | Тайный язык "Ригведы" | | Куплю или приму в дар брошюру "Тайный язык "Ригвед... (далее...) |
|
|
 |
Верификация 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 |
|
|
рубрики книги
|
|
|
|
|
рецензии на книгу
|
|
|
|
|
покупка/продажа
|
|
|
|
|
Эта страничка была запрошена
3759 раз(а).
|
| Л. А. Панова | | Метрология, стандартизация и сертификация в общественном питании | | Очень нужна эта книга, не могу нигде найти ни в ка... (далее...) |
|
|
|
|
|
|