Decision Procedures

Name: Decision Procedures
Brand: Springer Verlag Berlin And Heidelberg Gmbh & Co. Kg
SKU: 9783662504963
Author: Daniel Kroening
ISBN: 9783662504963

Autor

Daniel Kroening Ofer Strichman

Editura

Springer Verlag Berlin And Heidelberg Gmbh & Co. Kg

An publicare

2017

Nr. Pagini

356

ISBN

9783662504963

Categorii

Fictiune In Limbi Străine

Descriere

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.

Despre autor

Daniel Kroening

Informatician german · n. 1975

Daniel Kroening este un informatician german, profesor de informatică la Universitatea din Oxford și Chief Science Officer în compania pe care a co-fondat-o, Diffblue Ltd. Este membru al Magdalen College.