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

Rewriting logic and its applications : 8th international workshop, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010: revised selected papers / ed. P. C. Ölveczky ; ed.: P. C. Ölveczky. - Berlin ; Heidelberg : Springer, 2010. - on-line. - (Lecture notes in computer science ; 6381). - URL: http://dx.doi.org/10.1007/978-3-642-16310-4. - ISBN 978-3-642-16310-4. - Текст : электронный.
Рубрики:
Computer science
Software engineering
Logic design
Computer science
Logics and meanings of programs
Software engineering
Programming techniques
Programming languages, compilers, interpreters
Mathematical logic and formal languages
Models and principles

Доп. точки доступа:
Ölveczky, P.C.\ed.\
SpringerLink (Online service)

http://dx.doi.org/10.1007/978-3-642-16310-4

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

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

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