|
|
Sold Out
Book Categories |
| Foreword | ||
| Preface | ||
| 1 | Introduction | 3 |
| 2 | Language Principles | 23 |
| 3 | Spark Analysis Tools | 53 |
| 4 | Spark Structure | 81 |
| 5 | The Type Model | 91 |
| 6 | Control and Data Flow | 125 |
| 7 | Packages and Visibility | 151 |
| 8 | Interfacing | 187 |
| 9 | The Spark Examiner | 217 |
| 10 | Flow Analysis | 239 |
| 11 | Verification | 265 |
| 12 | Design Issues | 307 |
| 13 | Techniques | 333 |
| 14 | Case Studies | 343 |
| App. A1 | Syntax | 381 |
| App. A2 | Words, Attributes and Characters | 395 |
| App. A3 | Using the CD | 399 |
| App. A4 | Work in Progress | 401 |
| Answers to Exercises | 405 | |
| Bibliography | 421 | |
| Index | 425 |
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish List
X
This item is in your Collection
High Integrity Software: The SPARK Approach to Safety and Security
X
This Item is in Your Inventory
High Integrity Software: The SPARK Approach to Safety and Security
X
You must be logged in to review the productsX
X
X
Add High Integrity Software: The SPARK Approach to Safety and Security, Our lives depend -- quite literally -- on software. Banking, transport, medical and industrial control systems rely on software to function correctly. In a software-powered world it is vital for our systems to be secure, reliable and safe. The SPARK la, High Integrity Software: The SPARK Approach to Safety and Security to the inventory that you are selling on WonderClubX
X
Add High Integrity Software: The SPARK Approach to Safety and Security, Our lives depend -- quite literally -- on software. Banking, transport, medical and industrial control systems rely on software to function correctly. In a software-powered world it is vital for our systems to be secure, reliable and safe. The SPARK la, High Integrity Software: The SPARK Approach to Safety and Security to your collection on WonderClub |