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