CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF
Normal view MARC view ISBD view

Reactive systems : modelling, specification and verification / Luca Aceto ... [et al.].

Contributor(s): Anna Ingólfsdóttir, 1952- | Larsen, Kim G, 1957- | Srba, Jiří.
Material type: materialTypeLabelBookPublisher: Cambridge ; New York : Cambridge University, 2007Description: xvi, 284 p. : il. ; 26 cm.ISBN: 9780521875462 .Subject(s): Sistemas distribuídos | Lógica y significado de programas | Organización y diseño | Modos de computación | Distributed systems | Logics and meanings of programs | Organization and design | Modes of computationOnline resources: Contributor biographical information | Publisher description | Table of contents only
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 Computación
C C2.4 R281 Available 21121
Total holds: 0

Incluye referencias bibliográficas (p. 267-279) e índice.

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)

biblio@famaf.unc.edu.ar

publicofamaf@gmail.com



//