Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers Autor Leslie Lamport 19 iul 2002 Paperback Preț: 298.02 lei 372.53 lei 6-8 săpt. -20%
A Science of Concurrent Programs Autor Leslie Lamport 3 mar 2026 Hardback Preț: 378.80 lei 473.49 lei 3-5 săpt. | 6-10 zile -20%