adicionar à lista de desejos
imagem não disponível
Computer-Aided Verification
Computer-Aided Verification
idioma: inglês
Editor:
American Mathematical Society, junho de 1991 ‧
ver detalhes do produto
166,28€
10% DESCONTO
CARTÃO
U205MmNtdElVelZzWmpWcGNsSnpjVkpGTWxSeVJtbERSbnBFU3pVdk1rRm5USHB4VFZscVZITkljRGxtV0dRMVVIZFJWRWxFVG5NeGRtRmtNblIyZUhobmQydG1ia0pESzJveGQxSlJha1ZuVkZGQmQwb3lVbmRDYmtSdVpYRldTMHRITWxZeE1URmhhRVJyVldwRk5FMUJWRlJ3U0hsVGVtbDRWbFJXZFd4WWFFUnFPRU5hYmxWMFQwTlRiREJ3UWtGaGQyVkVjblYyTkhaUmVITjBXRzEzUml0UGNqWmpiR3BrTkhsblVqZEhWRk56WmxOWVVFdDBjMmRGZERob00wbFZkMVJFVkVKaVFraFRSVEJzTVROemF6Qk9ZM1Z3TDB4VlkzUktabmxYY2l0cGNUYzBPWFppVDNoek9UVnJSVmRJUjFsU1pXVlBWMlpqVVVobFIzbHZlVFZLZW5oTVNtNXFOV2hWVjAxblEzaGlMM2RGT0dWVUwzbHdOVTFRVkhCVVQyeFZiekZoYVcxaU4wdzFVSEJhU1RNeFpsSktSakpHVDNkQ1ZFWm9RVlJqUjFNelQwSTFSVmxySzNwdVN5OTVlVW96VkU1MVYwTXpkMGxqWjB0RU0wbEpLM1pIWkRSb05FTmxUemhaY0NzeFJUWkVaazFQZDBGdlVqWktVakI1YWtwWldsQk9jamw2UTFSVGNtWnBSVGN3ZUZrMFEwMWFOM2x4WWtOc05VcHlkRWxFTHpGVldUTk9iVkpSUjNoUVdWaE9TVEZPWTFGUFltNVpObXBzUVc0MWNUSXdXVEZTUlU5c1RVNXBVR28wWkV0aVNHdGFjVXR4ZENzdlZrRmtVbEZMVTJ4eVZIUndjREpXZFdKVlRraHdkamh0Y2pOcVRuQXdSMk5ZWmxrdlZ6ZHNaWHBDUjJwRFIybDNTR3B0YURkdGRuUmxhRzFyYlVocFRtWldNU3N6Ym5CaGJWcDNaelZ2UlRnd2JUWlBTRmxTTkVrMWNHaEVXR1pCWjJKbk9IVkphakJDZG1Zd2IxQTFPVzFSVUVoQ0wxZE9aM0JqTVVSSVJXVk1SWFEyVDAxNVlqSXpSMUJqVVU1WVdGQmllVVptTjFWeGRqaGhSMDlJTlVObWVrZ3lXRE15TjFGWU1WUXZPV1JGTkhCSlZFeEllV2sxVFN0cVdpczJiVTVQUlhwT2RrNXJSRkZ3VTFSVllrcFFOVE5oYzBJNU9GRlhlbkpVUlZObGJHZDRNVUUzTkV4dFJUVlZhek5ETm5Bd1pXcGxkRWxNT1RWWWNsVlNRWEpzVUZGMVZXWjBkVGsyV0VoWlNHSkJhREZhVG5SMFJIbFdia2xMVTBGNlIyeFpiMUJMWXpGa1pETlpaak56T1U5MlNUUmxOMWx4TnpBeFYyNXljMWM0YVhoQ0swRldaV2xvUnpOaVZHdDZSVkpJVWxGTlRVTnpSVkJvTWpOV1NRPT06cXdPNi9HU0gxdVFGTVNvcVBILzA0UT09
portes grátis
Venda o seu livro
SINOPSE
Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Rutgers University in June 1990. This work focuses on the problem of making formal verification feasible for various models of computation. It emphasizes on models associated with distributed programs, protocols and digital circuits.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9780821865941 |
| Editor: | American Mathematical Society |
| Data de Lançamento: | junho de 1991 |
| Idioma: | Inglês |
| Encadernação: | Capa dura |
| Tipo de produto: | Livro |
| Coleção: | Dimacs: Series In Discrete Mathematics And Theoretical Computer Science |
| Classificação Temática: |
Livros em Inglês
>
Ciências Exatas e Naturais
>
Matemática
|
| EAN: | 9780821865941 |
LIVROS DA MESMA COLEÇÃO
-
The Shortest Path Problem10%American Mathematical Society141,95€ 10% CARTÃOportes grátis
-
Mathematical Support For Molecular Biology10%American Mathematical Society102,74€ 10% CARTÃOportes grátis
-
Ludwig Otto Hesse'S Gesammelte Werke10%American Mathematical Society79,76€ 10% CARTÃOportes grátis
-
Gesammelte Abhandlungen: Erster Band10%American Mathematical Society79,76€ 10% CARTÃOportes grátis