Ada in Transition

Ada in Transition

4.11 - 1251 ratings - Source



qThe book reviews the current practice in Ada applications, innovative developments in Ada technology, how Ada can be applied in more demanding systems in the safety-critical area and reports on the Ada 9X revision effortq--Preface.D.Bjomerand O.N.Ocst , Towards a Formal Definition of Ada. Springer- Vcrlag ( 1980). LNCS 98. ... Commission of the European Communities, The Draft Formal Definition of Ada, Dansk Daiamatik Center (1987). 18. J.Cook ct al, aquot;Formal Computer Verification in the Stale Delta Verification System (SDVS)aquot;, pp. 77-87 in AlAA ... L.G.Marcus, aquot;SDVS 9 Usera#39;s Manualaquot;, Aerospace Report No. ATR-90( 5778)-4.


Title:Ada in Transition
Author: W. J. Taylor
Publisher:IOS Press - 1992
ISBN-13:

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.


Click button below to register and download Ebook
Privacy Policy | Contact | DMCA