Informations importantes : Arrêt du Club R (13 août) et Cessation d'Activité (30 septembre)
En savoir plus.
Se connecter
Aide
6 résultats
Programmverifikation
Voir le produit
Verification Of Sequential And Concurrent Programs
Edsger Wybe Dijkstra
Logic Programming 1992: Proceedings Of The Joint International Conference On Logic Programming
Constraint Logic Programming Using Eclipse
