Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

Tools and Algorithms for the Construction and Analysis of Systems: 6th Internati

Ø 0.0
0 Bewertungen
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: