-
38
pages
-
English
-
Documents
-
2010
Description
Introduction to calculus for mobile systems A. Dorman Journee Verite et Preuve 8 novembre 2010 A. Dorman (Journee Verite et Preuve) Introduction to calculus for mobile systems 8 novembre 2010 1 / 25
- journee verite
- concurrent computation
- like ?
- hilbert can meet
- provide reasoning
- truth
- teaching something
-
Publié par
-
Publié le
01 novembre 2010
-
Langue
English