adicionar à lista de desejos
Decision Procedures eBook
An Algorithmic Point Of View
language: english
Publisher:
Springer Berlin Heidelberg, April of 2008 ‧
see product details
72,86€
10% OFF
CARD
TUZWNmJFMUNjRGgwWlVZelNXWjNjVTFuV1RsM2QyaFVSa2h2WlVRNVMydG1UMkpWTWtjM2JuYzVUMWRHZVRkaWJraHRNelpNU1U1UWFIRlFTbUZHYlRKNFluVXpUa1ZMYWtzNWMxZ3dOWGQ0VlRGSGQxUlJZbTFYY0ZsNk5pdE1WVUpuYVdKeGNIRkJMMjVrZWtsdWJHVkVRbEpLT0dKUk1YcHVPRzVKUjJOSlFqUk9TbmhST1VweGFWRlVabFJTTmt0VFNYZzNZblF3WWxaSlpHcERRVWxhY0VGemNXOHhZV1pYVlVWS09VWklWaTh5TjBwcGJ6RmxPV1p5S3pCS2VpOXNNeXRsUW5CMGJTdFBhbmQxZG5CUmNYTjRlVzAzUTJwaFozVkpUV1phTlcxcE9HeElTamRTWVRoVE1tVmtWRE5hWkVWWU0yUXdWSFoyY0hObWVtczJibXRVTjBGTE5tcGpTMnR3UjNKbFRIcFNXbkpCTlZGaE5sZElXbVoxWkd0cFpIQXhaVFZLYUdoeE5HcExha04zU3pKWmFUZDNTR3hPU0V0U04waFNaMlJCUTB4dUx6SnNUMjR5TkRoS1puaDRNMHQyUzFoUFMyZHNaVGxUYlZock9XTkZiRFl3WWpkQ01uTTFVRk5wTVVZM1RYWmxkRkp5TDFSblltTlFlV2x0WjIxd1NraDJOMGRSY1ROT1NHaHZiRlp2ZG1sbFRqWmtkRk5uYVZkd1EwVXdjSFJsU1ZvNWEzTkxZMUIwUjFKT05DdEtOVmRxU0RCTFpHRkNjV3QwVkRaaVMxWkdXWGxyZDBNeWJtWTFhbE5qYzJ0cVNrZGpXVlJ4YjJaMGRXTjZibWRLZEd0VFYyY3JjV1ZJZHpodWRGQlJZM2MyZEVacE1uQnhiMmxaY1dWYWMxQjFaVmRTZFhwR2JVUlBXREJFVDI4MlEzaGpWbGwyUkRVM2NEUk1lVlExU1dWaVlXNUNhbkpKUVhkdGEwUXJPRTh4VlVOMU1sUkNlR3hPWjFreFUzWmpaM1Z0U2tWbU5VbzRNWFpEZFRKTmJHaGFNVWhvUTBOSGNuUkdSME5zVUVkeFkxUnBRekV5Unpkc2VVRkphMnBLVld0dWJYWkhLeklyV0ZZM2VHMXZjeTl6VUc1aVpITXZRWGt3UzFNNFdVWjBNVUp0TmxsWFYzaHdPV0l2ZVZOcGMzbHZNSEl4ZW05VVMzQTVOUzkzUzBsME5taHNWVXRMWm5Rek5VUm1LM2hGZHpCcFVUSlBVVlF6VENzMVkwZzVTVFkyYldGWWJXZEJXV0pYV0dwNmRISkpNR0Z6UFE9PTpMcUxaWDVLOTI4SWcydGQ0aFFhWFFBPT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. This book focuses on decision procedures for first-order theories that are commonly used in automated verification and reasoning, theorem-proving, compiler optimization and operations research.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9783540741053 |
| Publisher: | Springer Berlin Heidelberg |
| Release Date: | April of 2008 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | PDF para ADE |
| Categories: |
eBooks in English
>
Computing
>
Other Applications
|
| EAN: | 9783540741053 |
-
10%Decision ProceduresSPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG74,34€ 10% CARDfree shipping
-
10%Decision ProceduresSPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG94,62€ 10% CARDfree shipping
-
10%Decision ProceduresSPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG74,34€ 10% CARDfree shipping
-
10%Decision ProceduresSPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG94,62€ 10% CARDfree shipping