Kód: 06408808
SPIN Verification System
Autor 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 ... celý popis
- Jazyk:
Angličtina - Väzba: Pevná
- ISBN-13: 9780821806807
Nakladateľ: American Mathematical Society, 1997
- Viac informácií o knihe
85.47 €
Dostupnosť:
50 % šanca
Máme informáciu, že by titul mohol byť dostupný. Na základe vašej objednávky sa ho pokúsime do 6 týždňov zabezpečiť.Prehľadáme celý svet
Mohlo by sa vám tiež páčiť
-
Kámasútra pro milence 21. století
0 € -100 %
Darujte túto knihu ešte dnes
- Objednajte knihu a vyberte Zaslať ako darček.
- Obratom obdržíte darovací poukaz na knihu, ktorý môžete ihneď odovzdať obdarovanému.
- Knihu zašleme na adresu obdarovaného, o nič sa nestaráte.
Informovať o naskladnení knihy
Zadajte do formulára e-mailovú adresu a akonáhle knihu naskladníme, zašleme vám o tom správu. Postrážime všetko za vás.
Viac informácií o knihe SPIN Verification System
Nákupom získate 207 bodov
Anotácia knihy
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.
Parametre knihy
Zaradenie knihy Knihy po anglicky Mathematics & science Mathematics Applied mathematics
85.47 €
- Celý názov: SPIN Verification System
- Autor: American Mathem American Mathem
- Jazyk: Angličtina
- Väzba: Pevná
- EAN: 9780821806807
- ISBN: 9780821806807
- ID: 06408808
- Nakladateľ: American Mathematical Society
- Hmotnosť: 624 g
- Dátum vydania: 15. May 1997
Obľúbené z iného súdka
-
Understanding Markov Chains
50.53 € -
Complexity: A Very Short Introduction
10.02 € -24 % -
Continuous Martingales and Brownian Motion
144.22 € -7 % -
Mathematical Physics
100.77 € -
Evidence-Based Technical Analysis - Applying the Scientific Method and Statistical Inference to Trading Signals
76.46 € -26 % -
Computational Science and Engineering
111.60 € -
Problems and Solutions in Mathematical Finance
62.58 € -2 % -
Mathematical Modeling
35.54 € -9 % -
Nonlinear Dispersive Waves
184.02 € -
Problems and Solutions in Mathematical Finance - Stochastic Calculus V1
53.67 € -9 % -
Chaos
13.26 € -28 % -
Mathematical Theory of Communication
25.31 € -5 % -
Chaos: A Very Short Introduction
9.31 € -30 % -
Mathematics for Finance
39.19 € -
Applied Mathematics: A Very Short Introduction
10.02 € -24 % -
Principles and Techniques of Applied Mathematics
14.78 € -25 % -
TRIZ For Dummies
24.50 € -24 % -
Brownian Motion and Stochastic Calculus
50.53 € -9 % -
Probability
58.63 € -
Monte Carlo Methods in Financial Engineering
57.62 € -9 % -
Introduction to the Theory of Complex Systems
96.72 € -
Introduction To Stochastic Calculus With Applications (3rd Edition)
59.04 € -
Virtual Barrels
65.62 € -9 % -
Probability and Stochastics
72.20 € -7 % -
First Course in Coding Theory
86.79 € -
Understanding and Managing Model Risk - A Practical Guide for Quants, Traders and Validators
82.64 € -10 % -
Materials Modelling using Density Functional Theory
45.47 € -9 % -
Limit Theorems for Stochastic Processes
175.11 € -7 % -
Mathematical Modelling in Plant Biology
154.55 € -7 % -
Optimization Algorithms on Matrix Manifolds
98.23 € -
Networks: A Very Short Introduction
10.02 € -24 % -
Differential Forms with Applications to the Physical Sciences
13.46 € -24 % -
Introduction to Deep Learning
55.59 € -9 % -
Student Solutions Manual for Nonlinear Dynamics and Chaos, 2nd edition
30.78 € -
Cellular Automaton Interpretation of Quantum Mechanics
51.75 € -7 % -
Building Information Modeling For Dummies
25.11 € -25 % -
Matrix Computations
78.89 € -
Essential PTC (R) Mathcad Prime (R) 3.0
73.62 € -
Cryptography: A Very Short Introduction
12.35 € -9 % -
Quantum Mechanics and Quantum Field Theory
92.56 € -
Handbook of Applied Cryptography
224.94 € -
Interest Rate Modeling. Volume 1
103.80 € -
Geometric Algebra for Computer Science (Revised Edition)
85.17 € -45 % -
Fundamentals of Computational Neuroscience
78.28 € -
Mathematics for Economics and Finance
61.77 € -
Lecture Notes On Mathematical Olympiad Courses: For Junior Section - Volume 2
26.32 € -
Introduction to Quantum Computing
64.10 € -
Advanced Calculus
81.42 € -
Concepts of Mathematical Modeling
19.64 € -24 %
Osobný odber Bratislava a 12792 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
24 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)