Představení autora Leslie Lamport:

Doposud vydané knihy od Leslie Lamport:

Specifikace systémů: Jazyk a nástroje Tla+ pro hardwarové a softwarové inženýry - Specifying...
Addison Wesley Pub Co Inc
Tato kniha je zúročením více než 25 let práce...
Specifikace systémů: Jazyk a nástroje Tla+ pro hardwarové a softwarové inženýry - Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers
<<
1
>>