System Development and Ada: CRAI Workshop on Software Factories and Ada, Capri,
67,86 €
The SMoLCS approach to the formal semantics of programming languages. - Ada compiler validation: An example of software testing theory and practice. - Task sequencing language for specifying distributed Ada systems.
Jetzt bei Ebay:
