Gå direkt till innehållet
Vérification symbolique de modèles
Spara

Vérification symbolique de modèles

Författare:
Franska
Lägsta pris på PriceRunner
Undertitel
À l'aide de systèmes de ré-écritures dédiés
Författare
Duy Tung Nguyen
ISBN
9786131579783
Språk
Franska
Vikt
316 gram
Utgivningsdatum
2011-06-29
Sidor
200