Search results
Jump to navigation
Jump to search
- | title = Specifying Concurrent Systems with TLA<sup>+</sup> | series = NATO Science Series, III: Computer and Systems Sciences ...40 KB (5,355 words) - 06:27, 17 January 2025
- | discontinued = | operating system = [[Microsoft Windows|Windows]], [[OS X]], [[Linux]] ...33 KB (4,811 words) - 21:33, 21 January 2025
- {{Short description|Open standard for programming heterogenous computing systems, such as CPUs or GPUs}} | discontinued = ...106 KB (14,363 words) - 13:59, 20 February 2025