Tools and Algorithms for the Construction and Analysis of Systems: 6th Internati
123,08 €
Short Title TOOLS & ALGORITHMS FOR THE CON. Invited Contribution. - An Extensible Type System for Component-Based Design. - An Architecture for Interactive Program Provers. - The PROSPER Toolkit. - CASL: From Semantics to Tools.
Jetzt bei Ebay: