Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. ... Notes in Computer Science, 1019, Band 1019) | DealShopping Deutschland

Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. ... Notes in Computer Science, 1019, Band 1019)

53.49 EUR

Gesponsert

Tools and Algorithms for the Construction and Analysis of Systems

SpringerLink DE

53.49 EUR

15-05-2026 16:48:05