Decision Procedures An Algorithmic Point of View Texts in Theoretical Computer Science An EATCS Series
Daniel Kroening
Estado :
Novo
Vendido por
País de expedição : Reino Unido
Comentários do vendedor
Livro novo; R�pido do Reino Unido; N�o ficar� desapontado - New book; Fast from the UK; Will not be disappointed
Resumo
Ver tudo
Decision Procedures An Algorithmic Point of View Texts in Theoretical Computer Science An EATCS Series
Introduction and Basic Concepts.- Decision Procedures for Propositional Logic.- From Propositional to Quantifier-Free Theories.- Equalities and Uninterpreted Functions.- Linear Arithmetic.- Bit Vectors.- Arrays.- Pointer Logic.- Quantified Formulas.- Deciding a Combination of Theories.- Propositional Encodings.- Applications in Software Engineering.- SMT-LIB 2.0: A Brief Tutorial.- A C++ Library for Developing Decision...
Introduction and Basic Concepts.- Decision Procedures for Propositional Logic.- From Propositional to Quantifier-Free Theories.- Equalities and Uninterpreted Functions.- Linear Arithmetic.- Bit Vectors.- Arrays.- Pointer Logic.- Quantified Formulas.- Deciding a Combination of Theories.- Propositional Encodings.- Applications in Software Engineering.- SMT-LIB 2.0: A Brief Tutorial.- A C++ Library for Developing Decision...
Decision Procedures An Algorithmic Point of View Texts in...
Resumo
Publicidade
Avaliações dos nossos clientes
Decision Procedures An Algorithmic Point of View Texts in Theoretical Computer Science An EATCS Series
Sê o primeiro a dar
a tua opinião sobre este produto
Características
Publicidade
Publicidade
