Tools and algorithms for the construction and analysis of systems : Proceedings = Средства и алгоритмы для конструирования и анализа систем. Материалы 6 международной конференции.
506

Tools and algorithms for the construction and analysis of systems : Proceedings = Средства и алгоритмы для конструирования и анализа систем. Материалы 6 международной конференции.

Год:
cop. 2000
isbn:
3-540-67282-6
Язык:
Перевод заглавия:
Средства и алгоритмы для конструирования и анализа систем. Материалы 6 международной конференции.
Заглавие серии:
Lecture notes in computer science ; 1785 [0302-9743]
Описание:
Tools and algorithms for the construction and analysis of systems : Proceedings / 6th Intern. conf., TACAS 2000, held as part of the Joint Europ. conf. on theory a. practice of software, ETAPS 2000, Berlin, Germany, Mar. 25-Apr. 2, 2000; Susanne Graf, Michael Schwartzbach (eds.). - Berlin etc. : Springer, cop. 2000. - XIV, 552 c. : ил. ; 24 см. - (Lecture notes in computer science ; 1785 [0302-9743]). - Библиогр. в конце докл
Рейтинг по отзывам:
5
Рубрики:
Компьютеры → Программное обеспечение → Съезды, совещания и т.п.
Примечания:
Библиогр. в конце докл
Другие ответственные лица:
Graf, Susanne → Редактор
Дата создания:
2019-11-25 13:56:12
Соц. сети:
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Tools and algorithms for the construction and analysis of systems : Proceedings = Средства и алгоритмы для конструирования и анализа систем. Материалы 6 международной конференции.
Она стоит дороже 200 руб?
Она стоит 200 руб.
Она стоит дороже.
Она стоит дешевле.
Не знаю
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Прикрепить файл
Похожие книги
Прикрепить файл