Полное описание

Unifying theories of programming : third international symposium, UTP 2010, Shanghai, China, November 15-16, 2010: proceedings / ed. S. Qin ; ed. S. Qin. - Berlin ; Heidelberg : Springer, 2010. - on-line. - (Lecture notes in computer science ; 6445). - URL: http://dx.doi.org/10.1007/978-3-642-16690-7. - ISBN 978-3-642-16690-7. - Текст : электронный.
Рубрики:
Computer science
Software engineering
Logic design
Artificial intelligence
Computer science
Logics and meanings of programs
Software engineering
Programming languages, compilers, interpreters
Mathematical logic and formal languages
Programming techniques
Artificial intelligence (incl. robotics)

Доп. точки доступа:
Qin, S.\ed.\
SpringerLink (Online service)

http://dx.doi.org/10.1007/978-3-642-16690-7

Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): -674849)

Шифр в сводном ЭК: de1b1cb4cf3bbad455c17c3ffca8f022

Просмотр издания