The spin model checker : primer and reference manual /

The spin model checker : primer and reference manual /

Detaylı Bibliyografya
Yazar:	Holzmann, Gerald J., 1951-
Materyal Türü:	Kitap
Dil:	English
Baskı/Yayın Bilgisi:	Boston, MA : Addison-Wesley, c2004.
Konular:	Systems engineering > Mathematical models. Computer programs > Testing.
Classic Catalogue:	View this record in Classic Catalogue

Benzer Materyaller

An introduction to mathematical modeling /
Yazar:: Bender, Edward A., 1942-
Baskı/Yayın Bilgisi: (1978)

Guide to mathematical modelling /
Baskı/Yayın Bilgisi: (2007)

The nature of mathematical modeling /
Yazar:: Gershenfeld, Neil A.
Baskı/Yayın Bilgisi: (1999)

Mathematical modeling and simulation in hydrodynamic stability /
Baskı/Yayın Bilgisi: (1996)

Mathematical modeling and simulation : introduction for scientists and engineers /
Yazar:: Velten, Kai
Baskı/Yayın Bilgisi: (2009)

A first course in mathematical modeling /
Yazar:: Giordano, Frank R.
Baskı/Yayın Bilgisi: (2003)

Systems analysis and modeling : a macro to micro approach with multidisciplinary applications /
Yazar:: Boyd, Donald W. (Donald William), 1930-
Baskı/Yayın Bilgisi: (2001)

Mathematical Modelling in One Dimension
Yazar:: Jacek Banasiak
Baskı/Yayın Bilgisi: (2013)

Practical aspects of computational river hydraulics /
Yazar:: Cunge, J. A.
Baskı/Yayın Bilgisi: (1980)

Log-linear models /
Yazar:: Knoke, David
Baskı/Yayın Bilgisi: (1980)

Introduction to environmental modelling /
Yazar:: Smith, Jo U., 1964-
Baskı/Yayın Bilgisi: (2007)

Advances in mathematical modelling of composite materials /
Baskı/Yayın Bilgisi: (1994)

The two-sector model of general equilibrium /
Yazar:: Johnson, Harry G. (Harry Gordon), 1923-1977
Baskı/Yayın Bilgisi: (1971)

Fuzzy control and modeling : analytical foundations and applications /
Yazar:: Ying, Hao, 1958-
Baskı/Yayın Bilgisi: (2000)

Checkers Speech

Checkers Speech

Mathematical models and methods of localized interaction theory /
Yazar:: Bunimovich, Abram I.
Baskı/Yayın Bilgisi: (1995)

Kinematic wave modeling in water resources : surface-water hydrology /
Yazar:: Singh, V. P. (Vijay P.)
Baskı/Yayın Bilgisi: (1996)

Environmental modelling for developing countries /
Baskı/Yayın Bilgisi: (1990)

Calculated bets : computers, gambling, and mathematical modeling to win /
Yazar:: Skiena, Steven S.
Baskı/Yayın Bilgisi: (2001)

Nonrecursive causal models /
Yazar:: Berry, William Dale
Baskı/Yayın Bilgisi: (1984)

Statistical modeling for management /
Yazar:: Hutcheson, Graeme
Baskı/Yayın Bilgisi: (2008)

Introduction to the Network Approximation Method for Materials Modeling
Yazar:: Leonid Berlyand, Alexander G. Kolpakov, Alexei Novikov
Baskı/Yayın Bilgisi: (2013)

Handbook of mathematical models in computer vision /
Baskı/Yayın Bilgisi: (2006)

Structural equation modeling : concepts, issues, and applications /
Baskı/Yayın Bilgisi: (1995)

The Mechanics of the Circulation
Yazar:: C. G. Caro, T. J. Pedley, R. C. Schroter, W. A. Seed, Assisted by K. H. Parker
Baskı/Yayın Bilgisi: (2012)

Measuring the effectiveness of internal control of Otto Spinning Limited
Yazar:: Chakraborty, Rahul
Baskı/Yayın Bilgisi: (2024)

Hydraulic research for water management : proceedings of technical meeting 26 /
Baskı/Yayın Bilgisi: (1973)

Mathematical modelling and computer simulation of biomechanical systems /
Yazar:: Zinkovsky, A. V.
Baskı/Yayın Bilgisi: (1996)

Financial modeling of RMPM forecasting and analysis in Unilever Bangladesh Limited
Yazar:: Rafa, Hridita Noori
Baskı/Yayın Bilgisi: (2024)

Introduction to mathematical sociology
Yazar:: Coleman, James Samuel, 1926-1995
Baskı/Yayın Bilgisi: (1964)

Mathematics for economists : an introductory textbook /
Yazar:: Pemberton, Malcolm
Baskı/Yayın Bilgisi: (2007)

Resource economics /
Yazar:: Conrad, Jon M.
Baskı/Yayın Bilgisi: (2011)

Operationalising sustainable development : economic-ecological modelling for developing countries /
Yazar:: Chopra, Kanchan Ratna
Baskı/Yayın Bilgisi: (1999)

Mathematical models to explain the export of Bangladesh
Yazar:: Haque, Mohaiminul
Baskı/Yayın Bilgisi: (2018)

A Student's Guide to Fourier Transforms
Yazar:: J. F. James
Baskı/Yayın Bilgisi: (2012)

Causal modeling /
Yazar:: Asher, Herbert B.
Baskı/Yayın Bilgisi: (1983)

Zoological physics : quantitative models of body design, actions, and physical limitations of animals /
Yazar:: Ahlborn, Boye
Baskı/Yayın Bilgisi: (2004)

Quantitative methods for investment analysis /
Baskı/Yayın Bilgisi: (2001)

Geography and trade /
Yazar:: Krugman, Paul R.
Baskı/Yayın Bilgisi: (1994)