Documents B4Free

Nom	Description	Auteur	Taille
Documentation sur le Logic Solver	Version Française de la documentation présentant le Logic Solver	ClearSy	264Ko
Manuel de Reference B	Manuel de Reference B	ClearSy	965Ko
Manuel de Reference B	B Reference Manual (English)	ClearSy	901Ko
Symboles B	Police de caractère pour employer les symboles B dans vos documents	ClearSy	8Ko
B ST	Ce dossier contient la description des symboles B requis pour le développement des programmes de Logic Solver.	ClearSy	1Ko
B2000	Presentation de B  : passé, présent, futur	-	159Ko