Biblioteca
Normal view MARC view ISBD view

All about Maude: a high-performance logical framework: how to specify, program, and verify systems in rewriting logic / Manuel Clavel ... [et al.].

Contributor(s): Clavel, Manuel.
Series: Lecture notes in computer science; 4350.Publisher: Berlin: Springer, 2007Description: 794 p.ISBN: 9783540719403.Subject(s): LOGICA SIMBOLICA | PROCESO MENTAL DE LA INFORMACIÓN | LENGUAJE DE PROGRAMACIÓNDDC classification: 005.133
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Item type Current location Collection Call number Vol info Copy number Status Date due Barcode Item holds
LIBRO - MATERIAL GENERAL LIBRO - MATERIAL GENERAL Biblioteca Jorge Álvarez Lleras
Colección / Fondo / Acervo / Resguardo 005.133 A551 (Browse shelf) Ej. 1 1 Available 018926DC
LIBRO - MATERIAL GENERAL LIBRO - MATERIAL GENERAL Biblioteca Jorge Álvarez Lleras
Colección / Fondo / Acervo / Resguardo 005.133 A551 (Browse shelf) Ej. 1 1 Checked out 2019-11-18 018926
Total holds: 0

Incluye 1 CD

Incluye bibliografía e índice p. 757

There are no comments for this item.

Log in to your account to post a comment.