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
WnpOMmNFNTNXVE4wYURsc1FrTjJjbmx4V2poTk5FTXlNMkZYWkZCamFFRnRka056VTFBNFpYVkNjREJQVlZac2EwdzFZVTlwZERaSmRXVTFWVE14TVV0cVdIVmxka1paSzJwUVFteDFZa2RDU1U4NGFHUkxjVmd4VjBWd1VYZFNUV0pCU1ZwQmFuaDVWRUUwTmtwRVpUUnpPSE5vY21kMVEyTTNlRTlKVEhZdkx5OXNja3M1ZFRaNmNFUXhZMnRhUVdWSWFVWmtaMHhsV1ZSeUwyUkZZMWhGY3k5T1NIQnZUbEZuU1ZWeGF6aFZSV1F6SzNGQlUwTnpMMHhoVFZka1ptZFJTazlDZUdFdlZVOVBNVlo0UjJoRmVUSkxSbU5zVUZSVGMwWk9SakZvWWpWTk5HMUlja3BwU21WdVMyWlllWE5zUzNaelMyMTJRa2xTWldwUFVYVndaVU5CYVRaMFREZE5Sa2cwYjNSS1kyTnpUVkZESzFKeU9IWmxWVVphVkd4TGFGSk9ZazlGVlZwQmVFZGpXRzlWUVhGalVYSkJWVzlhYVZWUGNGcE9jM04yTlcxNlNsRTJRVUZFTW1WTlFWbFRaWGRQVnpSVE5VbFFSMnRTV0dWblNHaFJTQ3RJWWpOM05ITktWa1UyY0hWdk5tdHBNVlJ6Tm10VFEzRlBPRVUwZWxSWE0yNHhWV0k0U0RoYWJEYzVlQzlGTlRKNU5FdHhlSGg1ZEhWSU0wSklWME5GYTJ0aVRXeEtiVzVGWTNjclExZDBjMnRKVWpNdmMwSkdla2xNVWtVMFFrWmtUMmRCYlhWeFpGQlhTalpMTW5NNVZqaDJiV2QxTHpORVJUSlFkSEE1T1ZaT2QwNWhWVVJzVUhvME1XOVpXR2RrY25WWmVHSjFUVEJrZEZnclozcFZZVzkzVmtGUWJFWm5NbTFNVVdkbVJGaG9ObEJWZWt4eVp6QnRhMGM0VWk5dVJXWnVSSFZsUkhSM1FuUnFiVE5uVUVOcE1rSkdTMGRKYUROS2JHcFZLMFpEV1drclkxUXJSak01TkhkRVZEVm9VR2RYWW1wb05HTjNkV2QyTlZaVFNrY3JLMHRYVTFSUVVHcHdSQ3R3V1VwQ2EyMU9lRVpITUUxcldscGFjbkpUY2t0dVZVTnhURE5qWjFGTE1FTXdabmsySzNKdU5VZHdhM2x4UlhsUFZFZHhjalU1TTNWTFprNHpWeTkzTmpGcU5GRjFSalZLYVdsb2VtaFljVGxqVmsxR1RHUm1NV2RpUkVGNVNIUlFkbFZHUm5CeVZIUXlaM0ZSVDIxTlozSnJXVXBXYzFOelpIZzBha1J1VjFjeGIzaHZORXhwVmxOcUwwNWxUVm96YUdaTkwwTlZMelIyV2xselltczJWR1JzVTFSV00xZFJjVkIzTnpOcVIzTnRhamRCY2xjMU1uQlRXbEJITjIxbVpWSlJja3cxWlRVeFZRPT06MTFaTDRCQkk1UVoyd3BQYU0xak56UT09
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 |