Predstavenie autora Leslie Lamport:

Doterajšie vydané knihy od Leslie Lamport:

Špecifikácia systémov: Jazyk a nástroje Tla+ pre hardvérových a softvérových inžinierov - Specifying...
Addison Wesley Pub Co Inc
Táto kniha je zhrnutím viac ako 25 rokov práce...
Špecifikácia systémov: Jazyk a nástroje Tla+ pre hardvérových a softvérových inžinierov - Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers
<<
1
>>

© Book1 Group - všetky práva vyhradené.
Obsah tejto stránky nesmie byť kopírovaný ani použitý čiastočne alebo v celku bez písomného súhlasu vlastníka.
Posledná úprava: 2024.11.13 22:11 (GMT)