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 topográfica | 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