adicionar à lista de desejos
Building High Integrity Applications With Spark
idioma: inglês
Editor:
CAMBRIDGE UNIVERSITY PRESS, agosto de 2015 ‧
ver detalhes do produto
73,00€
10% DESCONTO
CARTÃO
VUZkaVJYbElhbFJpVm1NeWQyTmtkR2xsZVdoUVUzaDZlazB6V21kSFFTdERPV2xpTUVaWmQwOWpXRUZzUW5nck9XRXJhazVHVFV0V2VtSmhORlUxYTJablRXZDFaM1Z6ZDJSNGFWQnRhMEl2VTNCT1FtdHdSMmRXYkRFNE5HOHdURmxJVlhWSGJFUnlVbXRNWjJONmVqaFlXRWw0TXpsSlNHTnNXR3hyTjBoWVJGaERNekJWWVRkcFZGbG5SMjlsYlU4M1RVWlRVSGhhVW1VMlRFdFBWa1ZGWld0MVZEZG9ZalV4Tkhsbk4ydFVURlV3U0ZkNGRpOXNhbTk0VkVkcFdGVmhWWEVyUVdZelpFUjRSbVpGV201blZ6RkdVQzlpU0RkaGJVODJZa3d4VjJveWVFcDRPVkJwV2pkTldrY3hPWFkyV0U5dWRXc3hPRlpKZW5velIzazVjREY1SzA5M2IzWnhaaTh6VW5Fdk4ybFZRVU5GWkZaNlpIUXZhRzluV2pkdE9HNVNNMHN6VDBOSWJHdFdVakJTTDB0MVpWSkJNR3RYYlcxcUswc3ZhMWxsVGxKNldITmxhV2hKYmtGSVYzSXlRMjlwUzA4M2JsUmFjRmhDYlhSUkswOXBVVGQyZEdac2NGTkxLMDVWWm1oa1ZsSjFMMGhoS3paRVJqUnVhSGhKWWk5TFoyMU5NMWxtVlZGUk5EUjZSV2w1YlRkd04wVnBhMEpHZW14M2VWaFhRMFJ5TW1sclkzb3JWbTlPZWpsNmVURkdja1pWVkRVNVFsWnhNWGR5WldwQmNXaFplR0pUZFZwck1uWlpRekYxVFZCeVRUWm9iMEZTVEVvNFZDOUhUbFJ1VUdsb2NGWmlhRFYyWkZkWmJFODRPVWhVUm5oNFZWTk9PRFY2SzNWS0wzcEZaakZaUTA1MmQyNHdVMHRXTUdGRFltMHhZMWhOSzJNemJpOUZSVGxaVWpZMlFTdFlTVWhwV2twTlkzZE9kbVpzV1Nzd2RHcFZabUpyTms1blFYbEhiMlZNWmtGSlVVRjJla3RDVjFrMFkxcENVMGM1TWtwaWJXTlphV1Z4ZUdoTk1uSnVVR0paVFhkNlJrUkNObXA1SzJ0aVZVeEJaMXB1VFVSV2Vtb3ljbUZZZUhsSlltRkdaalIxYlU4M09YcDZkVEozV0V4NVkwbzVkVzVCWVhGTFdGZ3dSazlFYTNnd2NtaGlhMmRqV1c5blkwdGhaek0xVG1abksyVTVjbmx6Wm1sUk9HVnpaRGhoZWxsb2NVNHJNWGhVU1c5aVpuZHpRVzB5TTBoalUyYzBXakpOWkN0R2VXbGxTMmxZTXpseVNHeHBXSEI0ZHlzNE4zUk9RazFxY2pGclpHaHlNM1Y1TUdwQ1QzWmFaRzgwYVRSb1pXSXJhMGd6U1hWdVZFRllhMk0yUTJrNEt6Qm1aR2xTTURsRVUyaDNkREIzVmxFeVlRPT06R2t0R25BS2xVSlBuNzRwYlFJdVRJQT09
portes grátis
Venda o seu livro
SINOPSE
The formally defined programming language SPARK provides a means to guarantee that a computer program has no errors. This makes it a natural system for designing safety- and security-critical applications. This first introduction to SPARK 2014 will allow students and developers to master the basic concepts for building systems with SPARK.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9781107656840 |
| Editor: | CAMBRIDGE UNIVERSITY PRESS |
| Data de Lançamento: | agosto de 2015 |
| Idioma: | Inglês |
| Dimensões: | 154 x 185 x 17 mm |
| Encadernação: | Capa mole |
| Páginas: | 382 |
| Tipo de produto: | Livro |
| Classificação Temática: |
Livros em Inglês
>
Informática
>
Outras Aplicações
|
| EAN: | 9781107656840 |