Tools and Algorithms for the Construction and Analysis of Systems: 22nd Internat
69,04 €
Robots at the Edge of the Cloud. - FindingRecurrent Sets with Backward Analysis and Trace Partitioning. - Tactics for theDafny Program Verifier. - Synthesizing Ranking Functions from Bits and Pieces.
Jetzt bei Ebay:
