Normal view MARC view ISBD view

Tools and algorithms for the construction and analysis of systems / ed. Ed Brinksma.

By: (3º : TACAS (Conference) (3º : 1997 : Enschede, The Netherlands).
Contributor(s): Brinksma, Ed [ed.].
Material type: materialTypeLabelBookSeries: Lecture notes in computer science ; v. 1217; LNCS ; v. 1217.Publisher: Berlin : Springer, 1997Description: x, 430 p. : il. ; 24 cm.ISBN: 3540627901.Subject(s): Lógica y significado de programas | Logics and meanings of programs | Verificación de programas | Program verification | Software-Tools and techniques | Software-Herramientas y técnicas | Sistemas distribuidos | Distributed systems
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current location Call number Status Date due Barcode Item holds
Libro Libro FaMAF
Sección Lecture Notes
C LNCS v. 1217 ej.2 Available 16417
Libro Libro FaMAF
Sección Lecture Notes
C LNCS v. 1217 Available 14883
Total holds: 0

La Biblioteca posee 2 ej.

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:00hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127(Atención al Público) int. 41151(Dirección)