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..
-
Engineering Mechanics 2
Gross, Dietmar
-
Fluid Mechanics
Durst, Franz
-
Advanced Practical Process Control
Roffel, Brian; Chin, Patrick
-
Antibiotika in Der Praxis 2019 - 2020
Frank, Uwe
-
Topologie Generale
Bourbaki, N
-
Advanced BlackBerry Development
King, Christiane
-
Astronomie Mit Dem Personal Computer
Montenbruck, Oliver
-
Computational Geometry
Bergin Mark
-
Basic Stochastic Processes
Brzezniak, Zdzislaw; Zastawniak, Tomasz
-
Algorithms and Data Structures
Mehlhorn, Kurt; Sanders, Peter
-
Interaktionsspiele Bei Psychopathie
Sachse, Rainer
-
Beginning COBOL for Programmers
Coughlan, Michael; Cronin, Patricia
-
Elementary Number Theory
Jones, Gareth
-
Introductory Mathematics: Algebra an...
Nowell-Smith, Geoffrey
-
Fundamentals of Business Process Man...
Dumas, Marlon; La Rosa, Marcello; Mendling, Jan; Reijers, Hajo A.
-
Iridium Catalysis