The spin model checker : primer and reference manual /

समान संसाधन

• An introduction to mathematical modeling /
  द्वारा: Bender, Edward A., 1942-
  प्रकाशित: (1978)
• Guide to mathematical modelling /
  प्रकाशित: (2007)
• The nature of mathematical modeling /
  द्वारा: Gershenfeld, Neil A.
  प्रकाशित: (1999)
• Mathematical modeling and simulation in hydrodynamic stability /
  प्रकाशित: (1996)
• Mathematical modeling and simulation : introduction for scientists and engineers /
  द्वारा: Velten, Kai
  प्रकाशित: (2009)