Développement Formel Des Systèmes Automatisés [French]

By Mosbahi Olfa and Olfa Mosbahi

Cet ouvrage presente une methode de developpement de systemes automatises basee sur les methodes formelles B et TLA+. Le developpement par raffinement est au c ur de la methode proposee. Un systeme... This description may be from another edition of this product.

• Format: Paperback
• Language: French
• ISBN: 383817450X
• ISBN13: 9783838174501
• Release Date: October 2012
• Publisher: Omniscriptum
• Length: 320 Pages
• Weight: 1.04 lbs.
• Dimensions: 0.7" x 6.0" x 9.0"