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: 11th Internat

Ø 0.0
0 Bewertungen
123,08 €

Invited Paper. - Applications of Craig Interpolants in Model Checking. - Regular Model-Checking. - Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking. - Simulation-Based Iteration of Tree Transducers.

Jetzt bei Ebay: