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

© Book1 Group - wszelkie prawa zastrzeżone.
Zawartość tej strony nie może być kopiowana ani wykorzystywana w całości lub w części bez pisemnej zgody właściciela.
Ostatnia aktualizacja: 2024.11.13 21:45 (GMT)