Deux nouveaux manuels dédiés à l'Atelier B sont désormais disponibles :
- Manuel Utilisateur du Langage B
- Guide de Rédaction de Règles Mathématiques
Ces derniers sont actuellement en français et disponibles en open-source (licence Creatice Commons - Paternité). Nous recherchons actuellement des traducteurs souhaitant réaliser
la traduction en anglais de ces 2 documents.
Pour participer à ce projet, merci de nous contacter à l'adresse suivante : contact@atelierb.eu.
Bien cordialement
CLEARSY SYSTEM ENGINEERING
Spécialiste des Systèmes Sécuritaires
Dear Users,
Two new manuals dedicated to Atelier B are now available :
User Manual of B Language
Redaction Guide of Mathematic Rules
These manuals are available in french and released as open-souce (License Creative Commons - Attribution). We are currently searching for translators wishing to
contribute to english translation of these 2 documents.
To participate to this work, please contact us: contact@atelierb.eu.
Best Regards
CLEARSY SYSTEM ENGINEERING
Specialist in Safety Critical Systems
Sunday, March 15, 2009
User Manual of B Language , Redaction Guide of Mathematic Rules
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment