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%