Présentation de l'auteur Leslie Lamport :

Livres publiés jusqu'à présent par Leslie Lamport :

Spécifier des systèmes : Le langage et les outils Tla+ pour les ingénieurs en matériel et en...
Addison Wesley Pub Co Inc
Ce livre est la distillation de plus de 25 ans de...
Spécifier des systèmes : Le langage et les outils Tla+ pour les ingénieurs en matériel et en logiciel - Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers
<<
1
>>