adicionar à lista de desejos
Building High Integrity Applications With Spark
language: english
Publisher:
CAMBRIDGE UNIVERSITY PRESS, August of 2015 ‧
see product details
73,00€
10% OFF
CARD
TjFKTlpteEJVamh1UVhKcU1GQnBZMmRRUVZSUk1qUm9XVnBSVVhKbFptcDFkbFZJZEROeFlpOXVOMk5rUVhSNk9WaE1NRFJaZEZoaVdURldPRWxZZEhoQ1ZDdE1aMGhEZUc1MGJsbEVOemhoUjFWRWIzUnFaakoyWjBGU05tSlZZMDl3UmpaUlNWWm9iV0pWWVhsdWQwOUtXSFZzU1dZNWVIRnRlVTVZY0d4NFdVWk5SVEI0Y1ZSV2QxbHNXVzlZVHlzeVFrcHVRMXBaTmpOWU0xSklSek5pZFhKak5sRnVkRzlhVTNsd1JWSldTRTVxSzBVeFQwbHBOMmxSTWpOamRqaHNTMlZQVkhCUFltY3hXVGczYldSRU9IZHBUbVU0ZUU1VGIzY3lkVmw1TTNvcmJ5OXlla3BuUkRJNWRtOVhWbTVWVkd0TGFXaFdWRkJOU0U5RUx6aDVUMWwxWlZaVlNHbG1ka0ZsUkdWM05HRmtPQ3NyUlVnNU1HcFJPRGhPV21ORU0zQmpkVFpaZVVwMlZuWXJlRzQxVkRaeFNYQk5SbUZtZFRkaWEwbFhMMWRRYjFGUGEzQTFXVFp5TnpWR2RUSjRLMjlJSzB4elkwVk5RVXBsVTNWRGFXYzFORGt6WkV4b2JGbFJPV1pUUkdoTFJURktURVY0YW5wMGNubzFlbW95ZFhkTFkwWjNZa28xVW0xRVZ6ZDRTQ3RKUmtaVFFYUmpja1JtVURsNkx6VllhVXhTWlRNNVNVdFVTR0o2WmtRNFlYRkpZalZzVjFSNE5WWmplRlpaVm1KV01rUXpOMk5RV2xSRVRrOVZXbWsxZEZFNFN6Vk1Sbmx6VlRWb1NqRlZMMmc1Y1dJNGFucDFlWEJNYjI5clp6RnllRXA0Vkd0YU9GbDFkVmw0ZG5Oc1RGRmtjSEJTVkRGUFNYazJTSEF5VDJkQlZtaFFVbE56UVhoa01sTlRWazE1V0VadlJtUm1NMUJHVlZkcVpFUklMM3BCZDJaMFMza3hRV2xEZFUweWVreG1ZVGRaVkRFeVpEaHJWalU1YkUxb2VUaHNRVFpGU1dKclJWTk5WelZrVURKTlJYSTRWVWx3TjBObmNIUTJZWGxuWlhOWk1HNUxlSEZEZWt0cEszZHlVMnBwZGtWQk9HNUVWbFZ5ZVdWbWIxbEtjems0VjJ0RFkwcHVLMVl5TmpaWGRYQTFPRFJQZW5WSVRVRnNhelkyTUV0Nk1DdE5SelJoUTNkdVMxSktVRmR3TDBwV1IwNTVhbGxGWWxjNFpGbDBjMnhGSzB0bmJYZzJNR2hFV1doV05IUTRNRTkzZFdoemMwYzViRXA2U2xVNVEzaG1VRU5CWm5oVFJWSllaSFJPUmpscGNTOVNVelJaZG05aVF6RnpaejA5OkVQK0xsQ2NWM0hNZkdWOTZsK0xnUEE9PQ==
free shipping
Sell your book
SYNOPSIS
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.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9781107656840 |
| Publisher: | CAMBRIDGE UNIVERSITY PRESS |
| Release Date: | August of 2015 |
| Language: | English |
| Dimensions: | 154 x 185 x 17 mm |
| Cover: | Softcover |
| Pages: | 382 |
| Format: | Book |
| Categories: |
Books in English
>
Computing
>
Other Applications
|
| EAN: | 9781107656840 |