Prezentacja autora Leslie Lamport:

Dotychczas wydane książki Leslie Lamport:

Określanie systemów: Język i narzędzia Tla+ dla inżynierów sprzętu i oprogramowania - Specifying...
Ta książka jest destylacją ponad 25 lat pracy...
Określanie systemów: Język i narzędzia Tla+ dla inżynierów sprzętu i oprogramowania - Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers
<<
1
>>