Preuves par récurrence avec ensembles couvrants contextuels [French]

By Stratulat-S and Sorin Stratulat

Le processus de certification de logiciels est dans la plupart des cas une tache laborieuse et couteuse qui necessite aussi bien des methodes mathematiques, pour exprimer sans ambiguite et de facon... This description may be from another edition of this product.

• Format: Paperback
• Language: French
• ISBN: 3841794904
• ISBN13: 9783841794901
• Release Date: March 2012
• Publisher: Univ Europeenne
• Length: 200 Pages
• Weight: 0.66 lbs.
• Dimensions: 0.5" x 6.0" x 9.0"