Model Checking/ Edmund M. Clarke, Orna Grumberg and Doron A. Peled

By: Clarke, Edmund MContributor(s): Grumberg, Orna Peled, Doron APublisher: Cambridge: The MIT Press 1999Description: 314 pISBN: 0262032708Subject(s): ANÁLISIS DE SISTEMAS | DISEÑO DE SISTEMAS | SISTEMAS DE COMUNICACIÓNDDC classification: 004.21
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 004.21 C517m (Browse shelf) Ej. 1 1 Solo Ocultar 016257
Total holds: 0

Incluye bibliografía e índice p. 297

There are no comments on this title.

to post a comment.