Gochet, Paul / Gribomont, Pascal.

Logique – Volume 2: Méthodes formelles pour l’étude des programmes.

Paris, Hermes, 1994. 24 cm. 351 pages. Original Hardcover. Excellent condition with only very minor signs of external wear.

Includes for example the following sections: ‘Introduction historique et philosophie a la théorie des ensembles’; ‘Théorie des ensembles’; ‘Logique pour programmes séquentiels’; Théorie du point fixe’ etc.

• Language: Français
• ISBN: 9782866013950
• Inventory Number: 44321AB

EUR 78,--