Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers
Autor Leslie Lamport
30 iun 2002
Paperback
Preț: 277.41 lei 346.76 lei
6-8 săpt.
-20%
Cărți de Leslie Lamport
Latex
Autor Leslie Lamport
30 iun 1994
Paperback
Preț: 263.31 lei 329.15 lei
6-8 săpt.
-20%
A Science of Concurrent Programs
Autor Leslie Lamport
31 mar 2026
Hardback
Preț: 298.56 lei 373.19 lei
Nepublicat încă
-20% Precomandă