
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
- Kustantaja
- ÉDITIONS UNIVERSITAIRES EUROPÉENNES
- Sivumäärä
- 200