Elements of an operator calculus
暂无分享，去创建一个
[1] Mícheál Mac an Airchinnigh,et al. The geometry of distributions in formal methods , 1997, FME 1997.
[2] M. Mac,et al. Formal Methods & Testing , 1993 .
[3] Cliff B. Jones,et al. Scientific Decisions which Characterize VDM , 1999, World Congress on Formal Methods.
[4] M. Kline. Mathematical Thought from Ancient to Modern Times , 1972 .
[5] Cliff B. Jones,et al. Program specification and verification in VDM , 1987 .
[6] I. Moerdijk,et al. Sheaves in geometry and logic: a first introduction to topos theory , 1992 .
[7] D. Corfield. Conceptual mathematics: a first introduction to categories , 2002 .
[8] Randolph B. Tarrier,et al. Groups , 1973 .
[9] F. W. Lawvere. Variable Quantities and Variable Structures in Topoi , 1976 .
[10] Mícheál Mac an Airchinnigh. Mathematical Structures and their Morphisms in Meta-IV , 1987, VDM Europe.
[11] Colin McLarty,et al. Elementary categories, elementary toposes , 1992 .
[12] Mícheál Mac an Airchinnigh. Tutorial on the Irish School of the VDM , 1991, VDM Europe.
[13] Cheng-Shang Chang. Calculus , 2020, Bicycle or Unicycle?.
[14] Benjamin C. Pierce,et al. A taste of category theory for computer scientists , 1988 .
[15] Jean-Pierre Serre,et al. Fermat ’ s Last Theorem , 2017 .