Decision Procedures - An Algorithmic Point of View - Hardback - 2008

Daniel Kroening, Ofer Strichman

Decision Procedures - An Algorithmic Point of View - Hardback - 2008 - 1
Estado : Novo
Vendido por
RiaEnglishBooks
4,6 4 435 vendas
País de expedição : Reino Unido
Colocar uma questão ao vendedor
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

91,49 €
Entrega pelo vendedor parceiro

Entrega Envio Contra Assinaturagratuito Entrega na morada indicada sem acompanhamento da entrega contra assinatura Entregue em 3 a 4 semanas

Decision Procedures - An Algorithmic Point of View - Hardback - 2008
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
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