Prezentarea autorului Leslie Lamport:

Cărțile publicate de Leslie Lamport până acum:

Specifying Systems: Limbajul și instrumentele Tla+ pentru inginerii de hardware și software -...
Addison Wesley Pub Co Inc
Această carte este distilarea a peste 25 de ani de...
Specifying Systems: Limbajul și instrumentele Tla+ pentru inginerii de hardware și software - Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers
<<
1
>>

© Book1 Group - toate drepturile rezervate.
Conținutul acestui site nu poate fi copiat sau utilizat, nici parțial, nici integral, fără permisiunea scrisă a proprietarului.
Ultima modificare: 2024.11.08 07:02 (GMT)