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

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 22nd International Conference TACA
manoli
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Tools and algorithms for the construction and analysis of systems : Proceedings = Средства и алгоритмы для конструирования и анализа систем. Материалы 6 международной конференции.
В каком жанре книга?
Художественная литература
Наука и образование
Компьютеры и интернет
Бизнес и экономика
Искусство и культура
Дом, семья, досуг
Детская литература
Словари, справочники, энциклопедии
Техническая литература
Медицина
Юридическая литература
Астрология, магия, эзотерика
Литература на иностранных языках
Журналы и газеты
Другое
Не знаю
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference TACA
peterson
The MIT Challenge -- Learning 4 Years in 12 Months (Without Taking Classes)
Over the next 12 months I plan to learn MIT's entire 4-year curriculum for computer science, without taking any classes (or even being enrolled at MIT). You'll be ...
Scott Young
Resurgence and relativistic hydrodynamics -- status report ▸ Michal P. Heller #RESURGENT
Resurgence @ KITP 2020 - Online Reunion Conference Coordinators: Inês Aniceto, Gökçe Başar, Gerald Dunne, Ricardo Schiappa Asymptotics is one of the ...
Kavli Institute for Theoretical Physics
Creating a Phylogenetic Tree
This video tutorial accompanies Chapter 4 of 'Genetics: Genes, Genomes, and Evolution' by Meneely, Hoang, Okeke, and Heston.
Oxford Academic (Oxford University Press) Algorithms behind Modern Storage Systems
Are you enthusiastic about sharing your knowledge with your community? InfoQ.com is looking for part-time news writers with experience in Artificial Intelligence ...
InfoQ 9. What Compilers Can and Cannot Do
MIT 6.172 Performance Engineering of Software Systems, Fall 2018 Instructor: Tao B. Schardl View the complete course: https://ocw.mit.edu/6-172F18 YouTube ...
MIT OpenCourseWare What Are Heuristics?
We all use heuristics to make everyday decisions — but sometimes they blind us to the truth. So we need to do something that doesn't come easy: accept that ...
Learn Liberty
Прикрепить файл
Похожие книги
Прикрепить файл