- Ingrédients : Piment rouge fort, Ail, Coriandre, Carvi, Sel
- Contents : Hot red pimentoes, Garlic, Condiments, Salt
- Zutaten : Scharfes rotes, Paprikamark, Knoblauch, Speisewürze, Saltz
Mystère des spécifications multi-langues
Messages échangés entre l'enseignant et les étudiants du module, Spécifications 1 du département informatique de l'IUT de Nantes (Université de Nantes) Ce module s'appuie principalement sur la notation et la méthode de spécification formelle B. (The B formal method)
Aucun commentaire:
Enregistrer un commentaire