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

Verification, induction, termination analysis : festschrift for Christoph Walther on the occasion of his 60th birthday / ed. S. Siegler, N. Wasser. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 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

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