Free Downloads
High Integrity Ada: The Spark Approach

High Integrity Ada is an introduction to the SPARK programming language and its associated tools. Developed for the writing of high integrity software, SPARK is valued in application areas where getting the program right really matters. In John Barnes' clear and accessible writing style, this book combines a thorough description of the language with practical advice on how to use the SPARK tools. Illustrated with numerous examples and case studies, this book will teach you how to write more reliable software. The CD-ROM accompanying the book contains the SPARK tools plus additional documentation as well as all major examples of programs from the text.

Hardcover: 384 pages

Publisher: Addison-Wesley Professional (June 15, 1997)

Language: English

ISBN-10: 0201175177

ISBN-13: 978-0201175172

Product Dimensions: 7 x 1 x 9.5 inches

Shipping Weight: 1.6 pounds

Average Customer Review: Be the first to review this item

Best Sellers Rank: #4,969,631 in Books (See Top 100 in Books) #70 in Books > Computers & Technology > Programming > Languages & Tools > Ada #4798 in Books > Textbooks > Computer Science > Software Design & Engineering #10683 in Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Software Development

High Integrity Ada: The Spark Approach Power Integrity for I/O Interfaces: With Signal Integrity/ Power Integrity Co-Design (Prentice Hall Modern Semiconductor Design) DOS: Programming Success in a Day: Beginners guide to fast, easy and efficient learning of DOS programming (DOS, ADA, Programming, DOS Programming, ADA ... LINUX, RPG, ADA Programming, Android, JAVA) Big Data, MapReduce, Hadoop, and Spark with Python: Master Big Data Analytics and Data Wrangling with MapReduce Fundamentals using Hadoop, Spark, and Python Learning Spark: Analytics With Spark Framework VBScript: Programming Success in a Day: Beginner's Guide to Fast, Easy and Efficient Learning of VBScript Programming (VBScript, ADA, ASP.NET, C#, ADA ... ASP.NET Programming, Programming, C++, C) ADA: Programming Success in a Day: Beginners Guide to Fast, Easy, and Efficient Learning of ADA Programming Rationale for the Design of the Ada Programming Language (The Ada Companion Series) The ADA Practical Guide to Associateships: Success Strategies for Dentist-owners and Prospective Associates (The ADA Practical Guide Series) High Blood Pressure Cure: How To Lower Blood Pressure Naturally in 30 Days (Alternative Medicine, Natural Cures, Natural Remedies, High Blood Pressure ... Cures for High Blood Pressure, High Bl) 500 High Fiber Recipes: Fight Diabetes, High Cholesterol, High Blood Pressure, and Irritable Bowel Syndrome with Delicious Meals That Fill You Up and Help You Shed Pounds! Foods High in Fiber Cookbook: List of High Fiber Foods for a Healthy Lifestyle - Recipes for High Fiber Foods Worthy of Her Trust: What You Need to Do to Rebuild Sexual Integrity and Win Her Back Apache Spark in 24 Hours, Sams Teach Yourself Working the Angles: The Shape of Pastoral Integrity Spark GraphX in Action Privacy in Context: Technology, Policy, and the Integrity of Social Life (Stanford Law Books) The Little Spark-30 Ways to Ignite Your Creativity Fundamentals of Structural Integrity: Damage Tolerant Design and Nondestructive Evaluation Fundamentals of Power Integrity for Computer Platforms and Systems