adicionar à lista de desejos
Systems And Software Verification
Model-Checking Techniques And Tools
idioma: inglês
Editor:
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG, dezembro de 2010 ‧
ver detalhes do produto
162,21€
10% DESCONTO
CARTÃO
WVN0RlVITTRURzVTZEZKME4wRk9lRU5TWW5kelRHUkZRMk5UTDNobFZVNHdRamRYUm5JdldXRkZUQzg1TVUwMU0yeG5PV056WWpSQ1J6aFJZM2RzWkUxNk5XbHpXamhQTDBjeE5EVkJURXBOWjNONk9FSlJRV0ZXY0Rka2IwMWFlakZVWkhSbWFWSkdabkJGWldrNFYxQkRUREpOTkZsTmQwZDBibFExTUhGdlVWVkZabk41ZVZCMVoxRTFiRU56WXl0aGFqUjZUbkpUYWpsaGN5dDRZalpzVGs1a1kyZHJSQ3RNV0VVeVNXcGpRMW80YkdVMWFXNHhhMmt2TW5NelptdEVSVUZZV1N0dVRUSlVkVnBXZFZKQ1kzSkVZV1EzWWxad2NTOVFWa3hOTDFWRlNGSkNUREZ6UXk5d2IwMUhhbUUwY1ZoclMxWjJPR2w2UTNwUGVqbG1lbTFPWkd4dE1rOU1VbFJ5TTBWdGRGQjZUU3RTZW10aGVYTkZPR2xpTTNock4ySXpjM1JGZDI1NllqWlpNVlZLTVVad1RuZ3JTRmg1UjJ0ME1rVXpVa2R6TkROd2JrcDRXR2hYYjIxSlVFaDBja3RXVG5BeVdrTXlXR3hpTjFWWVVrRmtOMFV4TTBaU1YwdzFVbXREWlVNelRVNVBWemM0VldsQ2FsSkRjbVJsU25RNWRVMXRWRXgzU1hOSFRqQkJNMlJUTUVOc09UVkZObGxhVWl0MlVXZE5XR3BxVEM4Mk9FbDVlRzF4VkU1NWFuTlFVRkFyWXpocWRGaHlPVUV5UlhWcmFuWjNNelZ0TVVocGVrNXRSa2RuVVhRdmRHVlZhRmswWkZsUlpGSmlUM1ZIZGxZNGVHZzFaRzEyY1doTFJUUXdSRWRvZG1oV1JFOVdLMkpGVVRWNFUyaEVRakJuTUVkRlFXdFhjbTFwVUVwalMyUm5NR1phWW5WVGRXMDFlblkzTm1OcEswazRSRkJhTVdKb05XbHBOelZ6T1RONU4wUTVhbWxOUW10UlExbFVWRE52V1ZGelZXdHRSR1psUjAxWGRYUktUVVZDUTFkWllrOTFia3RrTjNsblpqQXlXbG94WlhscmFHeGtNM0ZKUkdOYVFtVnZjRVI2ZUhWak5rSm5kMDgzWVRkVFlrVjBlRUphYkhwb2VGaExUMDhyYWxvd2RFeFZUWEJxU21KcVJYY3pabWxOWXk5M2N6ZGhhREZZWm5keFZVRkVVVWRCWmpkS1lqUllVMEo1VjI5S09FMVlkVkY2TkM5VWQyMVZWMFpYUVhwa05GVnVjbVpPZW5sM2FqSlJkakJFZEZseVJ6WmFjbEJQVFhKbk1IaFdNR2hrY1dSc2VFUkVRbGw0ZUhOU1MwVlFiV1E1V1d0MGJWWm9NSEZKVWxod1RYaHJaMmhtVlVZMk5EQmpSM0pvTDNORWN6RlNZakpWY21GME4zRkZiMmxpU0VkRkt3PT06QnR2Z3Z1Si9FaVpPM1haL1FyRmlPdz09
portes grátis
Venda o seu livro
SINOPSE
Model checking is a powerful approach for the formal verification of software. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9783642074783 |
| Editor: | SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG |
| Data de Lançamento: | dezembro de 2010 |
| Idioma: | Inglês |
| Encadernação: | Capa mole |
| Páginas: | 190 |
| Tipo de produto: | Livro |
| Classificação Temática: |
Livros em Inglês
>
Informática
>
Hardware
|
| EAN: | 9783642074783 |