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
171.34 €
RRP: 171.39 €
You save 0.05 €
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.67 € -28 % -
Total f*cking godhead. La biografia di Chris Cornell
32.62 € -9 % -
Hobby-horse
16.16 € -14 % -
Leaving Jesus
13.12 € -7 % -
Zeis
14.94 € -6 % -
It's Ryan's Ranch
14.34 € -1 % -
Crystal Path
20.80 € -23 % -
150 Idees Recues Sur L'Histoir FL
25.15 € -
Invention of the Moving Assembly Line
40 € -
First World, Third World
109.21 € -
Evaluation Findings for Taylor Devices Fluid Viscous Damper
53.54 € -
Overcoming Sorrow: Poems in English and Russian
13.73 € -7 % -
Assessment of Naval Hydromechanics, Science and Technology
52.53 € -
Your Star Child: Attracting, Birthing and Parenting an Evolved Soul
16.56 € -2 % -
Nuvole Bianche
14.13 € -6 % -
Communist Party of Great Britain and the National Question in Wales, 1920-1991
115.17 € -
Getting Started with Grails
20.80 € -9 % -
Ciudadanos : sed realistas, decid lo indecible
26.97 € -
Korean War
39.39 € -4 % -
La Communication En Milieu Hospitalier
49.80 € -11 % -
Moo-Cow Kung-Fu-Cow
6.66 € -24 % -
Patterns of a Network Economy
109.21 € -
Sculptured Thin Films
96.68 € -
ActionScript 3.0 para desarrolladores : programación orientada a objetos y buenas prácticas
24.14 € -
Responsible Management of Information Systems
84.45 € -
Computer-aided Method Engineering
79.20 € -
Integrative Cardiovascular Chinese Medicine
131.13 € -9 % -
Wild Oats Or The Strolling Gentlemen
45.35 € -1 %
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 415 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
171.34 €
- 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
-
Linear Algebra For Dummies
18.28 € -24 % -
Methods And Techniques For Proving Inequalities: In Mathematical Olympiad And Competitions
33.13 € -
How Not to Be Wrong
10.09 € -29 % -
Elements of Abstract Algebra
9.89 € -25 % -
Schaum's Outline of College Algebra, Fifth Edition
16.86 € -24 % -
Course in Algebraic Number Theory
8.58 € -24 % -
Introduction to Mathematical Cryptography
70.51 € -9 % -
Introduction to Linear Algebra
79.10 € -19 % -
Schaum's Outline of Linear Algebra, Sixth Edition
18.88 € -25 % -
Algebra
60.51 € -9 % -
Book of Abstract Algebra
26.36 € -25 % -
Student's Guide to Vectors and Tensors
37.07 € -
Basic Math & Pre-Algebra For Dummies
13.83 € -48 % -
Mathematics for Quantum Chemistry
11.31 € -24 % -
Schaum's Outline of Elementary Algebra, 3ed
28.89 € -18 % -
Algebraic Number Theory
38.38 € -9 % -
Algebra
46.06 € -
Schaum's Outline of Abstract Algebra
27.47 € -17 % -
Polynomials
70.51 € -9 % -
Galois Theory for Beginners
71.02 € -
Naive Lie Theory
50.51 € -9 % -
Linear Algebra Done Right
61.01 € -
Manga Guide To Linear Algebra
18.28 € -24 % -
Linear Algebra
18.28 € -24 % -
Algebra I For Dummies Book + Workbook Bundle, 3rd Edition
28.68 € -26 % -
A First Course in Category Theory
60.51 € -9 % -
Algebra II For Dummies, 2nd Edition
18.78 € -30 % -
Algebra I For Dummies, 2nd Edition
18.78 € -30 % -
McGraw-Hill Education Algebra I Review and Workbook
12.42 € -22 % -
Algebra II Workbook For Dummies, 3rd Edition with OP
18.28 € -24 % -
McGraw-Hill Education Algebra II Review and Workbook
12.42 € -22 % -
Basic Algebra I
21.71 € -24 % -
Boolean Algebra and Its Applications
9.89 € -25 % -
Finite-Dimensional Vector Spaces
13.43 € -24 % -
Schaum's Outline of Matrix Operations
24.44 € -17 % -
Abstract Algebra
69.70 € -
Introduction to Mathematical Cryptography
70.51 € -9 % -
Basic Algebra II
28.58 € -24 % -
Zeta Functions of Groups and Rings
60.61 € -
Algebra Problems and Solutions from Mathematical Olympiads
32.83 € -1 % -
Introduction to Homological Algebra
81.72 € -
Linear Algebra Through Geometry
55.46 € -9 % -
Visualizing Quaternions
102.03 € -10 % -
Foundations of Quantum Theory
51.62 € -7 % -
Fundamental Concepts of Algebra
12.72 € -24 % -
Elementary Galois Theory
55.46 € -9 % -
Linear Algebra with Applications
88.39 € -14 % -
Numerical Linear Algebra: Theory and Applications
60.51 € -9 % -
Introduction to Linear and Matrix Algebra
60.51 € -9 %
Shopping guide
Books by language
Collection points Bratislava a 12927 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
25858 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)