Полное описание
> Verification, induction, termination analysis : festschrift for Christoph Walther on the occasion of his 60th birthday / ed. S. Siegler, N. Wasser ; ed. S. Siegler. - Berlin ; Heidelberg : Springer, 2010. - on-line. - (Lecture notes in computer science ; 6463). - URL: http://dx.doi.org/10.1007/978-3-642-17172-7. - ISBN 978-3-642-17172-7. - Текст : электронный.
Рубрики:
Computer science
Computer communication networks
Software engineering
Logic design
Information systems
Artificial intelligence
Computer science
Software engineering
Computer communication networks
Logics and meanings of programs
Artificial intelligence (incl. robotics)
Mathematical logic and formal languages
Information systems applications (incl.internet)
Доп. точки доступа:
Siegler, S.\ed.\
SpringerLink (Online service)
http://dx.doi.org/10.1007/978-3-642-17172-7
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): -258659)>
Шифр в сводном ЭК: ca58d665975806c7a9fed1aec618856d
Просмотр издания