Cărți de Leslie Lamport

Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers

Autor Leslie Lamport

30 iun 2002

Preț: 277^.41 lei 346^.76 lei

6-8 săpt.

-20%

A Science of Concurrent Programs

Autor Leslie Lamport

3 mar 2026

Preț: 462^.49 lei 578^.12 lei

38-44 zile

-20% Nou

Latex

Autor Leslie Lamport

30 iun 1994

Preț: 310^.63 lei

6-8 săpt.