Thermo-Hydro-Mechanical-Chemical Processes in Fractured Porous Media
Olaf Kolditz, Thomas Nagel, Hua Shao, Wenqing Wang, Sebastian Bauer
₹8,186
Model Checking Software
8th International SPIN Workshop
by International SPIN Workshop (8th 2001 Toronto, Ont.)
Springer · 2001 · Paperback
₹4,351
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Model Checking Software: 8th International SPIN Workshop is written by Ont.) International SPIN Workshop (8th 2001 Toronto. This paperback edition from Springer (2001) has 318 pages.
Topics covered include Computer software, Congresses, SPIN (Computer file) and Verification.
Book details
- ISBN-13
- 9783540421245
- ISBN-10
- 3540421246
- Authors
- International SPIN Workshop (8th 2001 Toronto, Ont.)
- Publisher
- Springer
- Published
- 2001
- Edition
- 2001 ed.
- Binding
- Paperback
- Pages
- 318
- Language
- English
- Condition
- New
- Subject
- Computer simulation
More in Computer simulation
Computer Assisted Modeling
Commission on Life Sciences, National Research Council, Committee on Computer-Assisted Modeling, Division on Earth, Life Studies
₹5,910
The Algorithmic Beauty of Seaweeds, Sponges and Corals
Jaap A. Kaandorp, Janet E. Kübler
₹13,068
Calculated Surprises
Johannes Lenhard
₹10,713
Technology for Modelling
Charles Care
₹11,558
Multiscale Modeling and Simulation of Composite Materials and Structures
Y. W. Kwon
₹9,197
Simulating Nature
Arthur C. Petersen
₹5,837
Computational Auditory Scene Analysis
Guy J. Brown
₹12,745
Hybrid Simulation
Victor Saouma
₹3,462
Situationsmodellierung in Der Bildfolgenauswertung
Wolfgang Krüger
₹3,508
Model Checking Software
Susanne Graf, Laurent Mounier
₹5,551
Depth Perception in Frogs and Toads
Donald House
₹10,071