Decision procedures : an algorithmic point of view / Daniel Kroening, Ofer Strichman ; foreword by Randal E. Bryant.
Series Texts in theoretical computer science | EATCS seriesDetalles de publicación: Berlin : Springer, 2010.Descripción: xvi, 304 p. : il. ; 24 cmISBN:- 9783642093449
Tipo de ítem | Biblioteca actual | Signatura | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|
Libro | FaMAF Sección Computación | C F4.1 K93 | Disponible | 21118 |
Total de reservas: 0