Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers Autor Leslie Lamport 30 iun 2002 Paperback Preț: 273.21 lei 341.51 lei 3-5 săpt. -20%