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
ADA (COMPUTER PROGRAM LANGUAGE)
Community Tags
Reader Comments
No comments yet. Be the first to share your thoughts!