New SPARK Book

New SPARK Book

瀏覽:1100
日期:2025-11-15
The new 2012 edition of John Barnes' SPARK book is now available... SPARK is a programming language and static verification technology designed specifically for the development of high integrity software. First designed over 20 years ago, SPARK has establ...看更多