Decision Procedures - An Algorithmic Point of View - Hardback - 2008
Daniel Kroening, Ofer Strichman
Estado :
Novo
Vendido por
País de expedição : Reino Unido
Resumo
This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH Zurich and at the Technion, Haifa. The authors focus on theories that are expressive enough to model real problems, but are still decidable.
Year of publication: 2008
Pagination: 322 pages, biography
Format: Hardback
Serie: Texts in Theoretical Computer Science: An EATCS Series
Year of publication: 2008
Pagination: 322 pages, biography
Format: Hardback
Serie: Texts in Theoretical Computer Science: An EATCS Series
Decision Procedures - An Algorithmic Point of View -...
Resumo
This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH Zurich and at the Technion, Haifa. The authors focus on theories that are expressive enough to model real problems, but are still decidable.
Year of publication: 2008
Pagination: 322 pages, biography
Format: Hardback
Serie: Texts in Theoretical Computer Science: An EATCS Series
Year of publication: 2008
Pagination: 322 pages, biography
Format: Hardback
Serie: Texts in Theoretical Computer Science: An EATCS Series
Publicidade
Avaliações dos nossos clientes
Decision Procedures - An Algorithmic Point of View - Hardback - 2008
Sê o primeiro a dar
a tua opinião sobre este produto
Características
- Editora
-
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Dimensão
-
240 x 165 x 24
- Peso
-
632
- Colecção
-
Artificial intelligence
- Tema
-
Artificial intelligence
- Origem
-
Germany
- EAN
-
9783540741046
Publicidade
Publicidade