adicionar à lista de desejos
Computer-Aided Verification Of Coordinating Processes
The Automata-Theoretic Approach
idioma: inglês
Editor:
Princeton University Press, abril de 2016 ‧
ver detalhes do produto
197,37€
10% DESCONTO
CARTÃO
U1UxVFkwSlNOMUZWWTNaNFZsZHZORzlwVTNWSWVteG9jak51VW5aYWVGQmpNRGt3Y0dWNFZFNHlWVXQ1UWtabk9VWkdTbkZJU0RoU05WUXJlaXN3V21oWWVteFhRMngwTTBabmEzZ3dMMHRtVFRkeFNHVjRlVzlaYzBoTGNqWlhTa1p3U2poS1NtMXJibWhQU1ZsbFNuTkRLekpyVDFoMWRrd3hWMnRDV0daUlZWWnlLMHR1TkM5elIwTlZhMDF1VDBGSE5WZEhSWEV4SzBSSFNrNU9ZblV4THpoWlVtUktWbmRQUTAxeVlXSnhjVkIzWkd4aFJtUnlTMGxtU2t0amVFUlRSbmhEZUdSQmJESXJkSEpZWWtSd1FuUnpVbWt5YnpWSlFrcFBaM05DWVhGRU4xUndjV0ZaVTAxMWVXSkhRbGxYVkhoeFdHMWtlUzgzVUU5WFMzY3JhVEZNWW1aTlRrTlZaRXN2YWtJNFF6QjNXRFJvTlVob0wxUlJhVXQ1WVhCV2JrdEVaemhDUVZOU1YzcDJWVWM0U0ZSUVZFbFNla2w1Y2xOMFpVdzJVazQxWW05Qk9WQlpielpVVm5KallWVlFTMU5pZG5sT1RVWkpWWFJQY2tscWJWUkVhV0ZNWlZWb1EyeFdNR1Y1YzBsWVYzSnRXV0pHVmpjNVNXRnlSRGhhU21nck5FdEJjVGw0Wmpad1IzbEpiU3RxZFRONk5XNUthMDFLVDBoM2VrVnVVV0p0V0VGWFRVeFdlbTVwUVdNeVpWRjJSbXRwTUdreU1tWXhNRWgxWTJ0Sk5sZFJjWE5MYVZoUVdrWlBNa1ZVZDNKbkt6QjJhamhsTTB0R1UwWTJlVWgwVnpoVk5sVlJNRXBZWld4WE1VMXBPSHBCYVZOeVVGbEhibWxyYjAxQ1N6Vm1VbWRMVjNOS01tRlVUa1JtYVZwbFduUnlSM0F5VFUxa1RtczVXSGx2UWxweGRqVTJUaXRoZGxkblRVUjZkM1JDZW1WM01tbHpXakk1YW5WM1FVMVVlbEZhY2xScWRqZ3ZUSEJ2Y2tReU9EWlJZbU5tTjFCdk1qbDBjVGg0ZFUwMVYxSkpjU3RpSzAwM09IRnNNVkI0VTBGR1pXVnVaMDlpU21OQlQxbzRXamN4TW5oQlRub3phM1ZITW1veFMwVkpZVTFHYVVSV2RuZEVWbVZRYkZOUWFuRTBaVTV0WlZWSmF6RkVObU5STURCVkszQlFNbkppYkRWa00zVkxXaXQ0VWtsbmJHTlJTQ3R0VEV4TVdFWm9SbU41U0c1c1VVdFFNMVE1TkZORU1sSnNhRlF3TkNzM1JqVnVXV0pvZVhKUVRVbFlZV1ZGT0VwaGVYVnlVV2haZW10TmEzTkRhMHQxUzFObU9YWmhUemRZYmxWdU5scENaVE53UVhOSkwzSTVjVEY2YldoTmVtSjRTWGwzY25BNVJsZDJRMVZ0U201Nkx3PT06RTB5WFFSNFhqWUkwVC9mcklmNHNGQT09
portes grátis
Venda o seu livro
SINOPSE
Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design complexity, it must support a top-down design methodo
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9780691634890 |
| Editor: | Princeton University Press |
| Data de Lançamento: | abril de 2016 |
| Idioma: | Inglês |
| Dimensões: | 152 x 229 x 20 mm |
| Encadernação: | Capa dura |
| Páginas: | 284 |
| Tipo de produto: | Livro |
| Coleção: | Princeton Legacy Library |
| Classificação Temática: |
Livros em Inglês
>
Ciências Exatas e Naturais
>
Matemática
Livros em Inglês > Outros |
| EAN: | 9780691634890 |
LIVROS DA MESMA COLEÇÃO
-
States, Social Knowledge, And The Origins Of Modern Social Policies10%Princeton University Press70,30€ 10% CARTÃOportes grátis
-
Great Siberian Migration10%Princeton University Press56,78€ 10% CARTÃOportes grátis
-
Investment Industry Claims Debunked10%Springer Nature Switzerland AG37,84€ 10% CARTÃOportes grátis
-
Computer-Aided Verification Of Coordinating Processes10%Princeton University Press74,35€ 10% CARTÃOportes grátis