Spelling suggestions: "subject:"equivalence comportementale"" "subject:"équivalente comportementale""
1 |
Calculs de processus: observations et inspectionsHirschkoff, Daniel 08 December 2009 (has links) (PDF)
Le document traite du raisonnement sur les processus. Les chapitres principaux sont: - Équivalences comportementales : caractérisation logique, axiomatisation et congruence - Inspections et équivalences intensionnelles - Calculs avec localités
|
Page generated in 0.0874 seconds