Programming with specifications: an introduction to ANNA, a language for specifying Ada programs

समान संसाधन

• Programming in ADA
  द्वारा: Wiener, Richard
  प्रकाशित: (1983)
• Program verification using Ada
  द्वारा: McGettrick, Andrew D; Author
  प्रकाशित: (1982)
• Ada in action: with practical programming examples
  द्वारा: Jones, Do-While
  प्रकाशित: (1989)
• Ada: an introduction
  द्वारा: Ledgar, Henry F
  प्रकाशित: (1981)
• Ada for experienced programmers
  द्वारा: Habermann, Nico A.
  प्रकाशित: (1983)