Buscar Por:

Título
Autor/Editor
Colección

1/1

Decision Procedures

Autor/Editor: Kroening, Daniel - Strichman, Ofer

Año de edición: 2016

Acceso: UBA

URL: http://dx.doi.org/10.1007/978-3-662-50497-0

Idioma: inglés

Colección: Computación

Keywords: Theory of Computation - Software Engineering/Programming and Operating Sys - Optimization

Título de la Serie: Texts in Theoretical Computer Science an EATCS Series

Tipo de documento: Monografía

Edición: 2nd ed.

Editor: Springer Berlin Heidelberg

ISBN-e: 978-3-662-50497-0