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

© Book1 Group - tous droits réservés.
Le contenu de ce site ne peut être copié ou utilisé, en tout ou en partie, sans l'autorisation écrite du propriétaire.
Dernière modification: 2024.11.14 07:32 (GMT)