Building High Integrity Applications with SPARK
1570 Kč
Sleva až 70% u třetiny knih
This is the first introduction to the SPARK 2014 language and the tools to verify programs for safety- and security-critical applications.
| Autor: | McCormick, John |
| Nakladatel: | Cambridge University Press |
| ISBN: | 9781107656840 |
| Rok vydání: | 2015 |
| Jazyk : | Angličtina |
| Vazba: | Paperback |
| Počet stran: | 382 |
Mohlo by se vám také líbit..
-
Cases in Comparative Government and ...
McCormick, John
-
Kid\'s Box 2 Activity Book with ...
Nixon Caroline, Tomlinson Michael
-
C1 Advanced 4 Students Book with Answers
-
Cambridge English Exam Booster for Fi...
Chilton, Helen
-
B2 First 4 Student's Book with A...
-
Complete IELTS Bands 6.5-7.5 Workbook...
Wyatt, Rawdon
-
Kid\'s Box 4 Activity Book with ...
Nixon Caroline, Tomlinson Michael
-
Power Up Level 4 Activity Book with O...
Nixon, Caroline
-
Compact First for Schools Student\...
Thomas, Barbara
-
Key 2 A2 Student\'s Book without...
-
Compact First Workbook
Treloar, Frances
-
Kid\'s Box 5 Activity Book + Online
Nixon Caroline, Tomlinson Michael
-
First Trainer Six Practice Tests with...
Peter May
-
A2 Flyers Mini Trainer with Audio Dow...
neuveden
-
Cambridge Primary English Learner\...
Budgell Gill
-
Objective Proficiency Student\'s...
Capel Annette, Sharp Wendy
