Vista normal Vista MARC Vista ISBD

All about Maude: a high-performance logical framework: how to specify, program, and verify systems in rewriting logic / Manuel Clavel ... [et al.]. - Berlin: Springer, 2007 - 794 p. - Lecture notes in computer science; 4350 .

Incluye 1 CD

Incluye bibliografía e índice p. 757

ISBN: 9783540719403

Subjects--Topical Terms:
LOGICA SIMBOLICA
PROCESO MENTAL DE LA INFORMACIÓN
LENGUAJE DE PROGRAMACIÓN

Dewey Class. No.: 005.133 / A551