Cover Image
Read Now

1
by Barnes, David J., Chu, Dominique
Published 2015
Springer London
“... algebra system, the PRISM model checker, and the modeling environments Repast Simphony and Smoldyn...”
Cover Image
Read Now

2
by Barnes, David J., Chu, Dominique
Published 2010
Springer London
“... practical introductions to the Maxima computer algebra system, the PRISM model checker, and the Repast...”