Vérification par automates temporisés - IRIF

R. SMITH. ? Accroître les performances d'un système Linux (collection Solutions Unix-Linux). N°11430, 2004, 812 pages.

Connaissance de soi | AJE29