Code: 06319043
Computer-aided Verification
by American Mathem American Mathem
Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Rutgers University in June 1990. This work focuses on the problem of making formal verification feasible for various models of compu ... more
- Language:
English - Binding: Hardback
- ISBN-13: 9780821865941
Publisher: American Mathematical Society, 1991
- More about this
167.39 €
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
-
Dalajlamova kočka Zákon kočičí přitažlivosti
7.96 € -25 % -
Total f*cking godhead. La biografia di Chris Cornell
32.58 € -9 % -
Alef
7.46 € -9 % -
Sluší mi tento list, Adame?
3.12 € -15 % -
Hobby-horse
16.14 € -14 % -
Zeis
14.92 € -6 % -
Leaving Jesus
13.11 € -7 % -
Overcoming Sorrow: Poems in English and Russian
13.71 € -7 % -
Poslední film Zuzany Bergové
7.86 € -16 % -
150 Idees Recues Sur L'Histoir FL
24.91 € -
It's Ryan's Ranch
14.32 € -1 % -
Moo-Cow Kung-Fu-Cow
6.55 € -25 % -
Confidencias y confesiones
14.02 € -
Getting Started with Grails
17.45 € -9 % -
Crystal Path
20.78 € -23 % -
Invention of the Moving Assembly Line
39.65 € -
First World, Third World
109.07 € -
Evaluation Findings for Taylor Devices Fluid Viscous Damper
53.17 € -
Nuvole Bianche
14.12 € -6 % -
Assessment of Naval Hydromechanics, Science and Technology
53.57 € -
Your Star Child: Attracting, Birthing and Parenting an Evolved Soul
16.54 € -2 % -
Korean War
39.34 € -4 % -
Ciudadanos : sed realistas, decid lo indecible
26.93 € -
the coil of a snake
57.20 € -
La Communication En Milieu Hospitalier
49.74 € -11 % -
Symbolic Immortality
45.50 € -
Patterns of a Network Economy
109.07 € -
Les plantes ?
23.80 € -
Responsible Management of Information Systems
84.35 € -
Sculptured Thin Films
96.26 € -
Logarithmischen Potentiales
21.48 € -
ActionScript 3.0 para desarrolladores : programación orientada a objetos y buenas prácticas
24.21 € -
Wild Oats Or The Strolling Gentlemen
45.30 € -1 % -
Computer-aided Method Engineering
79.20 € -
Integrative Cardiovascular Chinese Medicine
122.19 € -9 %
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
We will watch availability for you
Enter your e-mail address and once book will be available,
we will send you a message. It's that simple.
More about Computer-aided Verification
You get 406 loyalty points
Book synopsis
Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Rutgers University in June 1990. This work focuses on the problem of making formal verification feasible for various models of computation. It emphasizes on models associated with distributed programs, protocols and digital circuits.
Book details
Book category Books in English Mathematics & science Mathematics Algebra
167.39 €
- Full title: Computer-aided Verification
- Author: American Mathem American Mathem
- Language: English
- Binding: Hardback
- EAN: 9780821865941
- ISBN: 9780821865941
- ID: 06319043
- Publisher: American Mathematical Society
- Weight: 666 g
- Date of publishing: 15. June 1991
Trending among others
-
How Not to Be Wrong
10.18 € -28 % -
McGraw-Hill Education Algebra I Review and Workbook
12 € -25 % -
Linear Algebra and Its Applications, Global Edition
104.23 € -
Basic Algebra II
28.55 € -24 % -
Introduction to Linear Algebra
87.88 € -10 % -
Linear Algebra Done Right
60.43 € -
Book of Abstract Algebra
21.69 € -24 % -
Schaum's Outline of College Algebra, Fifth Edition
17.04 € -24 % -
Algebra
60.43 € -9 % -
Course in Algebraic Number Theory
8.57 € -24 % -
Naive Lie Theory
41.26 € -9 % -
Lie Groups, Lie Algebras & Some of Their Applications
21.58 € -25 % -
Algebra (Classic Version)
123.70 € -14 % -
Abstract Algebra
55.39 € -9 % -
Advanced Linear and Matrix Algebra
55.39 € -9 % -
Linear Algebra
22.19 € -25 % -
Schaum's Outline of Linear Algebra, Sixth Edition
18.86 € -25 % -
Elements of Abstract Algebra
9.88 € -25 % -
Manga Guide To Linear Algebra
18.25 € -24 % -
Linear Algebra For Dummies
18.25 € -24 % -
Schaum's Outline of Abstract Algebra
27.44 € -17 % -
Introduction to Mathematical Cryptography
70.42 € -9 % -
A First Course in Category Theory
60.43 € -9 % -
Algebra II For Dummies, 2nd Edition
18.46 € -26 % -
Algebra I For Dummies, 2nd Edition
18.25 € -24 % -
Student's Guide to Vectors and Tensors
37.02 € -
Algebra I For Dummies Book + Workbook Bundle, 3rd Edition
28.45 € -30 % -
Algebra II Workbook For Dummies, 3rd Edition with OP
18.25 € -24 % -
Abstract Algebra 3e (WSE)
136.01 € -
Introduction to Graph Theory
12.70 € -24 % -
Basic Math & Pre-Algebra For Dummies
13.81 € -46 % -
Mathematics for Quantum Chemistry
11.29 € -24 % -
Methods And Techniques For Proving Inequalities: In Mathematical Olympiad And Competitions
33.09 € -
McGraw-Hill Education Algebra II Review and Workbook
12.40 € -21 % -
Boolean Algebra and Its Applications
9.88 € -25 % -
Finite-Dimensional Vector Spaces
13.31 € -25 % -
Surreal Numbers
17.55 € -14 % -
Schaum's Outline of Elementary Algebra, 3ed
28.85 € -18 % -
Schaum's Outline of Matrix Operations
24.41 € -17 % -
Algebra
46 € -
Algebraic Number Theory
38.33 € -9 % -
Polynomials
70.42 € -9 % -
Introduction to Homological Algebra
81.62 € -
Foundations of Quantum Theory
51.55 € -7 % -
Elementary Galois Theory
55.39 € -9 % -
Linear Algebra with Applications
88.28 € -14 % -
Naive Lie Theory
50.44 € -9 % -
Numerical Linear Algebra: Theory and Applications
60.43 € -9 % -
Applied Numerical Linear Algebra
94.84 €
Shopping guide
Books by language
Collection points Bratislava a 13250 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
26504 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)