Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
Previews available in: English
Edition | Availability |
---|---|
1 |
aaaa
Libraries near you:
WorldCat
|
Book Details
Table of Contents
Design of the rational environment / James E. Archer, Jr.
The PCTE initiative / Ferdinando Gallo
Engineering VAX Ada for a multi-language programming environment / Charles Z. Mitchell
The Ada environment
a personal view / Vic Stenning
Knowledge-based software development from requirements to code / Stephen J. Westfold, Lawrence Z. Markosian, William A. Brew
SMoLCS approach to the formal semantics of programming languages / Egidio Astesiano, Gianna Reggio
Project graphs and Meta-programs / Dines Bjørner
Software development based on formal methods / Cliff B. Jones
Integration of program construction and verification / Bernd Krieg-Brückner
Ada compiler validation / John B. Goodenough
The Software Engineering Institute at Carnegie Mellon University / A. Nico Habermann
Task sequencing language for specifying distributed Ada systems / David C. Luckham ... [et al.].
Edition Notes
Includes bibliographies.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?July 22, 2024 | Edited by MARC Bot | import existing book |
October 20, 2022 | Edited by ImportBot | import existing book |
December 4, 2010 | Edited by Open Library Bot | Added subjects from MARC records. |
April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
December 10, 2009 | Created by WorkBot | add works page |