Code: 06408808
SPIN Verification System
by American Mathem American Mathem
What is Spin? Spin is a general tool for the specification and formal verification of software for distributed systems. This DIMACS volume presents the papers contributed to the second international workshop that was held on the S ... more
- Language:
English - Binding: Hardback
- ISBN-13: 9780821806807
Publisher: American Mathematical Society, 1997
- More about this
85.12 €
Availability:
50/50
We think title might be available. Upon your order we will do our best to get it within 6 weeks.We search the world
You might also like
-
Kámasútra pro milence 21. století
0 € -100 %
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
Availability alert
Enter your e-mail address and once book will be available,
we will send you a message. It's that simple.
More about SPIN Verification System
You get 207 loyalty points
Book synopsis
What is Spin? Spin is a general tool for the specification and formal verification of software for distributed systems. This DIMACS volume presents the papers contributed to the second international workshop that was held on the Spin verification system at Rutgers University in August 1996.
Book details
Book category Books in English Mathematics & science Mathematics Applied mathematics
85.12 €
- Full title: SPIN Verification System
- Author: American Mathem American Mathem
- Language: English
- Binding: Hardback
- EAN: 9780821806807
- ISBN: 9780821806807
- ID: 06408808
- Publisher: American Mathematical Society
- Weight: 624 g
- Date of publishing: 15. May 1997
Trending among others
-
Chaos
12.90 € -30 % -
Mathematical Modeling
35.39 € -9 % -
Mathematical Modeling
38.72 € -25 % -
Problems and Solutions in Mathematical Finance Vol ume IV: Commodity and Foreign Exchange Derivatives
46.89 € -9 % -
Mathematics of Financial Derivatives
73.02 € -
Problems and Solutions in Mathematical Finance
48 € -10 % -
Chaos: A Very Short Introduction
9.27 € -30 % -
Continuous Martingales and Brownian Motion
143.62 € -7 % -
Understanding Markov Chains
50.32 € -
Problems and Solutions in Mathematical Finance
62.32 € -2 % -
Nonlinear Dispersive Waves
183.26 € -
Problems and Solutions in Mathematical Finance - Stochastic Calculus V1
53.45 € -9 % -
Complexity: A Very Short Introduction
9.98 € -24 % -
Mathematical Theory of Communication
24.10 € -10 % -
Mathematics for Finance
39.02 € -
Applied Mathematics: A Very Short Introduction
9.98 € -24 % -
Mathematical Physics
100.35 € -
Principles and Techniques of Applied Mathematics
14.72 € -25 % -
TRIZ For Dummies
24.40 € -24 % -
Brownian Motion and Stochastic Calculus
50.32 € -9 % -
Probability
61.52 € -
Monte Carlo Methods in Financial Engineering
57.38 € -9 % -
Evidence-Based Technical Analysis - Applying the Scientific Method and Statistical Inference to Trading Signals
76.14 € -26 % -
Computational Science and Engineering
101.16 € -
Virtual Barrels
54.05 € -10 % -
Probability and Stochastics
71.91 € -7 % -
First Course in Coding Theory
86.43 € -
Understanding and Managing Model Risk - A Practical Guide for Quants, Traders and Validators
82.30 € -10 % -
Materials Modelling using Density Functional Theory
45.38 € -9 % -
Limit Theorems for Stochastic Processes
174.39 € -7 % -
Mathematical Modelling in Plant Biology
153.91 € -7 % -
Optimization Algorithms on Matrix Manifolds
97.83 € -
Networks: A Very Short Introduction
9.98 € -24 % -
Differential Forms with Applications to the Physical Sciences
13.30 € -25 % -
Introduction to Deep Learning
55.36 € -9 % -
Student Solutions Manual for Nonlinear Dynamics and Chaos, 2nd edition
30.65 € -
Building Information Modeling For Dummies
25 € -25 % -
Cellular Automaton Interpretation of Quantum Mechanics
51.53 € -7 % -
Matrix Computations
78.56 € -
Essential PTC (R) Mathcad Prime (R) 3.0
73.32 € -
Cryptography: A Very Short Introduction
12.40 € -9 % -
Introduction to the Theory of Complex Systems
96.32 € -
Quantum Mechanics and Quantum Field Theory
92.18 € -
Handbook of Applied Cryptography
224.01 € -
Interest Rate Modeling. Volume 1
103.38 € -
Geometric Algebra for Computer Science (Revised Edition)
84.82 € -17 % -
Fundamentals of Computational Neuroscience
77.96 € -
Mathematics for Economics and Finance
61.52 € -
Introduction To Stochastic Calculus With Applications (3rd Edition)
58.79 €
Collection points Bratislava a 12799 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
25602 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)