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
>>

© Book1 Group - všechna práva vyhrazena.
Obsah těchto stránek nesmí být kopírován ani použit, a to ani částečně ani úplně, bez písemného svolení vlastníka.
Poslední úprava: 2024.11.08 20:25 (GMT)