Informations importantes : Arrêt du Club R (13 août) et Cessation d'Activité (30 septembre)
En savoir plus.
Se connecter
Aide
5 résultats
Temporal Logic Of Programs
Voir le produit
Temporal Logic And State Systems
Einführung In Die Informatik
Temporal Logic Of Programs (Monographs In Theoretical Computer Science. An Eatcs Series)