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..
-
Antibiotika in Der Praxis 2019 - 2020
Frank, Uwe
-
Topologie Generale
Bourbaki, N
-
Hebammenlehrbuch
Massenbach-Wahl, Patricia von
-
Astronomie Mit Dem Personal Computer
Montenbruck, Oliver
-
Solid Base Catalysis
Ono, Yoshio; Hattori, Hideshi
-
Algorithms and Data Structures
Mehlhorn, Kurt; Sanders, Peter
-
Interaktionsspiele Bei Psychopathie
Sachse, Rainer
-
Felix Hausdorff - Gesammelte Werke B...
-
Beginning COBOL for Programmers
Coughlan, Michael; Cronin, Patricia
-
Elementary Number Theory
Jones, Gareth
-
Pro WPF 4.5 in C#
Matthew MacDonald
-
Introductory Mathematics: Algebra an...
Nowell-Smith, Geoffrey
-
Fundamentals of Business Process Man...
Dumas, Marlon; La Rosa, Marcello; Mendling, Jan; Reijers, Hajo A.
-
Iridium Catalysis
-
Enterprise Cybersecurity
Donaldson, Mike; Poynting, Professor Scott
-
Primary Hypertension