Decision Procedures - An Algorithmic Point of View
- Författare
- Daniel. Kroening
- (Daniel Kroening, Ofer Strichman.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Berlin Heidelberg, Imprint: Springer | 2016 | Tyskland, Berlin, Heidelberg | XXI, 356 sidor. 64 illus., 5 illus. in color. online resource. | 978-3-662-50497-0 |
| Springer | 2016 | Tyskland, Berlin, Germany | xxi, 356 pages illustrations 24 cm. | 978-3-662-50496-3 |
| Springer | c2008 | Tyskland, Berlin | xvi, 304 sidor. ill. 24 cm | 978-3-540-74104-6 |
| Springer-Verlag Berlin Heidelberg | 2008 | Utgivningsland okänt / Ej specificerat, Berlin, Heidelberg | v.: digital | 978-3-540-74105-3 |