adicionar à lista de desejos
Verification Of Sequential And Concurrent Programs eBook
idioma: inglês
Editor:
SPRINGER LONDON, setembro de 2009 ‧
ver detalhes do produto
92,74€
10% DESCONTO
CARTÃO
Wm1NME1XNTNObXhpUjNaa2FYSTVaWFV6WVhsRlNERklaVkJUWnpCbU9XeE5iVkZMYzFaR2VGY3hVSFp6ZUZVdmNEWjZVVk14Y1dGd1pGVklPR1JTWW5CbVNuUlBXRk5HVEV4NWNUUlVlbGxHVFRWWWRTdHFZelkxUzFwdFNuUTJaRzR6TVV4T2NFVlBSMHMzYTNkd1YyZG9jbVZuZWs1d05qazJVVWhzVXpad2VXMVFiRVJLWVc1U2NGcENjVlp3TURad2FrSllORk5HT0RoTlVXcEVNVXg0YkUxb1FXTk1lRWxpWjJkcGFESm1VM0ZVU1RaemVEZFFOV3hDTVdob1l6ZGFNRUpRZEVGelZXWkliVU5VVjNoc1MwcDZOREEzWmpOc09WTnhNRzg1ZFdNMUszRm9UR0ZJVVZCck5tTnlUbGhvUjB4SVFXcExWM1JqVFUxbEt6QlpWMlV4T0NzMWVGVXpMMmxyVlRseWQzSm9UVWtyUTBSRFRqSnBTRUZzZG1kNFpqZE9UV0pRZG1wUU5uVXdPV1oxYlZoT2F6WmpiU3RpVG1wM2NGZDJVa1p6Y1VrNWVHVXlTMDlUUlRaNllXVm5XbVJZTkc5U1NuZHBTVkphZFc5UmJuaElTM2xZVFdjdlJWQlhPSFppTlVscVpISkxSall4VWxGRlYxSktUa2RUUTJKNU5VVnVVMWxvWW1GU1JVcE9XRm8yY0VveFlsUmlZMjVITnpnNWJIZ3dVeXRSWkdaeE1uaFhSM2M0TW14Q1F6a3JaMkZJWlV4VWVFNDRSa3RaV0RkYVNWSjVZVTlNVGtaRVJWRjZhRVpHVW1KNWQybHpkSEZqYlVoSVFsRXlXbWRsTkVsR2VrWnlkVmd3YlZacGRWQkVSalkwUlVGUllYaHRVRXBzYkdwRlN5OW9LMFZXVEcxeFJHMXhObVpVVkZkeGVFOVBWWHBoVW5rcmRHVkVWMWRGWmtGcmFuZHRTVzB2YmxWbE5XdG5WVU5DV2xKV1VqTlFRbTkxVDJrNWF6UmlSbTVGU2tad1N6SmhZakpIZUVkRWJWTnZRa3A2V21vdmRFNXFhbTE1TTFCSE1uWXZZM2hNWWk5d2VIaG9ZM0lyTmpCdlVVaDNkREJJWjBkTWRGRk5TSEJ1V0dSc1IwNUJZekZVT0dsM2VUTkhhWE4xV2xKck9VUXlibmRGUWpBeVRpOUljRmhGTVhsbE1rSllkMGw1V2pnMFVuaDNPVkZ4TUdnNE0zRjZaRkJhV1drMlJrRTBSV1pZV21SWVQyRlpPVk4yV0hablVVVjZORGRsWVhWNmEyWk5iRzg0UFE9PTo4ME9TNTJXS1RTSmFxTXpPLy9SRnlRPT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supplied throughout the book demonstrate the use of the proof systems and formally verify solutions to classical problems.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9781848827455 |
| Editor: | SPRINGER LONDON |
| Data de Lançamento: | setembro de 2009 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | PDF para ADE |
| Coleção: | Texts In Computer Science |
| Classificação Temática: |
eBooks em Inglês
>
Informática
>
Programação
|
| EAN: | 9781848827455 |
LIVROS DA MESMA COLEÇÃO
-
Programming Language Design And Implementation10%Springer International Publishing AG79,07€
87,86€portes grátis -
Programming Language Design And Implementation10%Springer International Publishing AG66,91€
74,34€portes grátis
-
Edsger Wybe DijkstraAssociation of Computing Machinery,U.S.142,91€