Author Description
An introduction to the SPARK programming tools and its associated tools. Combines a thorough description of the language with practical advice on how to use SPARK tools. The three parts cover: An overview, The SPARK language, and The SPARK tools. Includes case studies. CD ROM included.
Page Count:
384
Publication Date:
1997-01-01
ISBN-10:
0201175177
ISBN-13:
9780201175172
ADA COMPUTER PROGRAM LANGUAGE
Community Tags
Reader Comments
Share Your Thoughts
No comments yet. Be the first to share your thoughts!