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