Полное описание
>
Unifying theories of programming : third international symposium, UTP 2010, Shanghai, China, November 15-16, 2010 : proceedings / ed. S. Qin. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 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
Просмотр издания