Gå direkte til innholdet
Vérification symbolique de modèles
Spar

Vérification symbolique de modèles

Forfatter:
Fransk
Undertittel
À l'aide de systèmes de ré-écritures dédiés
ISBN
9786131579783
Språk
Fransk
Vekt
316 gram
Utgivelsesdato
29.6.2011
Antall sider
200