Siirry suoraan sisältöön
Vérification symbolique de modèles
Tallenna

Vérification symbolique de modèles

Alaotsikko
À l'aide de systèmes de ré-écritures dédiés
Kirjailija
Duy Tung Nguyen
ISBN
9786131579783
Kieli
Ranska
Paino
316 grammaa
Julkaisupäivä
29.6.2011
Sivumäärä
200