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
U1ROa1IweDRlWFZLYmk5TGNVSm5NV3huVW5aeVZqUnNWa3hRTUdNeE0zSndjemxDT0dFNWVFbFRXaTg0UW1vd1MzTnZiMXBKUjFOQ1luZGFObVpLVERNcmRWQmhaWGRuV1N0a2VscFhUVlpJWjNGMFZGVnJTMmQyVWxNelprbE5ibGRaV1RJeGR6bE5ka3BYWjJzMU9WUnhZell2WldsTGJqVmlSVVJtUXpGSWQwTnRWVWN3Y0hkV1ZVeFdVeko0VkRWalEzbFBZbTgwTVZGa1dtTkZORzUxV2pJNWQyOXlkelZ5TDBsRGQySktkbGhWY3pobVNFSkZMM1JMUjBwS05VaDBTVWh1ZDFKaFlsaEVla1Z0Y25Gb09TOWhNWGxrU21ORmRrWjVUMGRxZERkNmMyRTVjVlZITTFGTWMxb3pha1ZTZUc5eFNtaHdVa2N6TVVRME4zSkJhalprTlhWSVRrbE9NRTVFU2pkSlNFMWhaM0ZFWVRjeFZGVndZelkyY0hwUVRHeFZTWFZXYm5oT1NrMXFjV3N3ZHpselR6bDVXbXRPVFVzeFluWTBjWHBCVDJWaFdHbFJURFpDTUZWMmRXWnFOM1JrYWpOdWRraDRXRXBFTDFwalRFNUNaelpUU0dKTU5uSmxjelZPYzFGMU1sTjZZVmN3WWpadGFFTXpVekUzUlV0bk0zQjNkWGN6TTFsWVREYzNZV1JDZGs5SVRqQkNiVlF6ZFU4MFZGQlRNSEZ3VGpRelJFaHpORlpTYkdwWVFUaHlkakF6WTBRd2FHSjJTa3B6ZG5oR1RXMW9kbk4yTXpSR1YyUXZVVmRxWmpSdk9XNWlkV1l3TUVVM2NsSlRRbG92V2tzclJVdEhZMFJwVVd3NFowVXdOazlSVmpGNU1UaHRNVFkzUnpGVWVHMVhibXR3Ym1GVlNWQjBjWG92VERSRFVXVmxWakZxTUV4cVZrNUJiRXgwV1c5cVpuTlJRazlTSzNGREt6VllMMUp4VjBsTVYzTnJjVkJCTlhORU1uZHBiVnBMUkU4ek9XUkVVblpOYkhkSVVsUk9VMjRyTjBGU1J6aENSa2hQV0doMVRERkhOMjVMVWtKbWVYRTRjV3QwZEVGQ1NpOHJRV3BFU3pndlkyVmtUR3B2ZURncmVGRmxUMHh4ZWxjemVYcGxkVzlyZWs5cmVXcHFVbFpTSzBkek1tZERVSHBYT1djclF6SkJPSFo2Um10SlMyNTBNSEEwTUU1MWVUWTVkbnB1Tm1kcWRYaFhaM2xvVW5wbmFtMXpUamxPT1dZMGVWSk1ValV4U3pCbmVWb3daMVZSUFE9PTpSdzdLdmRBaFhQek5TYXpyTGlUa0Z3PT0=
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
-
10%Programming Language Design And ImplementationSpringer International Publishing AG79,07€
87,86€portes grátis -
10%Programming Language Design And ImplementationSpringer International Publishing AG74,34€ 10% CARTÃOportes grátis
-
Edsger Wybe DijkstraAssociation of Computing Machinery,U.S.142,91€