Liens utiles et à partager
Liens utiles et à partager
> Mon blog <
Nuage de tags
Quotidien
Flux RSS
Connexion
Rester connecté
4465
shaares
4465
shaares
Filtres
Liens par page
20
50
100
Formal Methods at AWS : TLA+, PlusCal & TLC (newcombe-slides.pdf slides link in the comments)
reddit: the front page of the internet
Prog
·
best-practices
June 18, 2014 11:31:45 AM GMT+02:00 ·
permalien
http://www.reddit.com/r/programming/comments/277fbh/use_of_formal_methods_at_amazon_web_services/
Filtres
Liens par page
20
50
100
Replier
Replier tout
Déplier
Déplier tout
Êtes-vous sûr de vouloir supprimer ce lien ?
Êtes-vous sûr de vouloir supprimer ce tag ?
Le gestionnaire de marque-pages personnel, minimaliste, et sans base de données par la communauté Shaarli