Leslie Lamport szerző bemutatása:

Leslie Lamport szerző eddig megjelent könyvei:

Specifying Systems: A Tla+ nyelv és eszközei hardver- és szoftvermérnökök számára - Specifying...

Ez a könyv a világ egyik legelismertebb...