Decision Procedures
9
%
1220 Kč 1 341 Kč
Sleva až 70% u třetiny knih
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.
| Autor: | Kroening, Daniel; Strichman, Ofer |
| Nakladatel: | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |
| ISBN: | 9783540741046 |
| Rok vydání: | 2008 |
| Jazyk : | Angličtina |
| Vazba: | Hardback |
| Počet stran: | 306 |
Mohlo by se vám také líbit..
-
Innovation Clusters and Interregiona...
-
Stochastic Methods
Gardiner, Crispin W.; Zoller, Peter
-
Leadership Strategies for Women
Vanderbroeck, Paul
-
Enterprise Risk Management
Hunziker, Stefan
-
Elementary Number Theory
Jones, Gareth
-
Antibiotika in Der Praxis 2019 - 2020
Frank, Uwe
-
Complex Scheduling
Brucker, Peter; Knust, Sigrid
-
Astronomie Mit Dem Personal Computer
Montenbruck, Oliver
-
A Primer on Scientific Programming wi...
Langtangen, Hans P.
-
Computational Geometry
Bergin Mark
-
SAP ABAP
Markandeya, Sushil
-
Topologie Generale
Bourbaki, N
-
Algorithms and Data Structures
Mehlhorn, Kurt; Sanders, Peter
-
Interaktionsspiele Bei Psychopathie
Sachse, Rainer
-
Advances in Cerebral Angiography
-
Intracranial Angiomas. Neurosurgical...