Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers Autor Leslie Lamport 19 iul 2002 Paperback Preț: 286.65 lei 358.31 lei 43-57 zile -20%