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
Wm5OYVdVbGhkbG93ZFdKdU16RkZXa3MxUkRKTFNIVlVSVGR3WWxrd2JrMUNOV1oxVEZScVQwc3JOMkZuU1ZFMGVEbFVSbWRRUlRSa1NDOXNWWG80VkZOdVdHWnVXbFp3UTBkUFZucGpaR1JETld0allrOUthRXd2UnpnMmJ6TTJWV1JzT1RWM1dYRXpORFJJZFhKdE1sTlJSemRSTlhWaFQxcDNVV0ZDZDNwWFNFNVVMeXNyU0c5NmJqZHJlazlwYzNkRE1ETTVRbVJIUTBkQlpXcHdaM3BaUnpsellVOWxMM1ZEWlVsR1l6TjFUV2QzWTBKRWMyMUVTV2RaU1c5aFJtUk5iQ3RrVVZVd1ltUjNTSG8wZEdnMVUwWXdjMVV2U2trMVdGZFlaMGhFT0RsWVdHOVVjMnQzY2pOSVRYbHRRekI0U1dWU2NVTnRPRlZDVDNwR1VETjRiVkk0ZFRWdVlpdEROV1YwVVRWbldHdFBRMjkzYzJOcVpYbzFSRFJ6VlZGSFdEbEZZVWxDZGsxVldXMTFOVk5LTDNSeWNqTmxUbmhUVkdFNFlXZElVVzkyUXpoQlRXbHlORTVuVFdkNFFuTllSMkV4VTJ4eWIwaEhka2RpYjJ0clVESjFUR1JDV0dseVJrcDFTV2g2TUd4b1VVNW1TamxpVmpsWlFVeHVSakJ4V21Sb05EaHVZME5JVW1wMlFXRmpTSFp1YTNOVmVGUlNZVEZMTDFSRFptSkJiM2RsVkd4RGJpOXNVM28xUW10blREUkJOVUY0ZVhSVlFUaEZRMkZKVkRGak9WVnRWV0p0TjB3elFVOWxTVVp4TldoMlRqZEdWR0ZYVDNWbU9XbzNkMnBNUkcxME9TOXZhMlU1ZGlzMWRHMWpibWszVlRKaGQxaHpXa0Z2UkdocE0wdHVWM00xU1RZdk1GTnJWR1ZXWkVoelFTOVNZakpvV0VvdmFuUlZLMmN6V2xORmRsbFRPRlUwT0U4NFNsSllNbVZ2WkVSblZrVXpTblpWTTFkM1IwODNWVkZ6ZGpsdVYwZFllbFp1ZUd0WE9WaEhOMnRuUzFGa04xb3hkelZ3Um1GTVptUXJaalFyVFhGaEx6SkJXVU14UVdNMlZWQnhaVTVpUkVGSk1raHRMMnBsY205S1pYbGtjakZtUWpONFZURk1NMGxJZWxnelZHTkpUbmx2WkN0VVVUVjNaVTF0YjFaVmVHNXpjbXRoYkVoRmEwbFVWV2xEUm10NE1tUkVaUzk2YVd4SEwwbDRMMlJHUjFWMFJrdHhTRVpuZFVaU2NrOU5UelZYTm04MGRFSTBMMGc0UlV0dGNsZHRSWFJIVjNGcE5YSk9LMVp6VlhBMGIwc3ZWVmRyTURsV2NHaHJTbEpZV201TmIyeEJkV3R1ZVRCdVdXUlVXaXRvV21FeU9HUkhWVWRUVG1saFUzWkNTMngwYVRGRGRGaFdOVkpNVlVoR0x3PT06UmVla2hFN2h2Nnk2MWhiZUxLclRMQT09
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 |