Code: 24027841
Computer Aided Verification
by Isil Dillig, Serdar Tasiran
This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers ... more
- Language:
English - Binding: Paperback
- Number of pages: 673
Publisher: Springer Nature Switzerland AG, 2019
- More about this
51.53 €
RRP: 55.80 €
You save 4.27 €
In stock at our supplier
Shipping in 5 - 8 days
You might also like
-
Invisible Women: Data Bias in a World Designed for Men
14.82 € -24 % -
Hory zpívají
14.11 € -26 % -
Trapped in a Video Game: The Complete Series
34.69 € -24 % -
Sex Differences in Intelligence
14.21 € -7 % -
Morče
6.75 € -28 % -
Radiographic Atlas of Skeletal Development of the Hand and Wrist
168.13 € -6 % -
KOREAN WORD SEARCH - LEVEL OF DIFFICULTY
9.98 € -24 % -
BioShock: Rapture
15.42 € -25 % -
LP!
49.82 € -
Wolfsmund
9.87 € -25 % -
Io e il mio amico Gesù facciamo tante cose assieme. La comunione
10.58 € -
Feasibility Study
33.98 € -24 % -
Privileged Brotherhoods
60.81 € -7 % -
30 Jahre Nachhilfe in 60 Minuten
10.88 € -10 % -
Do You Dream of Terra-Two?
12.70 € -25 % -
Omaha Beach
43.46 € -
Botanic Garden. Part II. Containing the Loves of the Plants. A Poem. With Philosophical Notes. Volume the Second. The Fourth Edition. of 2; Volume 2
29.95 € -2 % -
Besser hausgemacht mit dem Thermomix®
12.70 € -16 % -
Complete Guide to Building Your Own Home
29.34 € -9 % -
Champions of Charity
81.59 € -
Secme Dünya Öyküleri
16.13 € -4 % -
Plaster Czarownicy i inne baśnie
9.17 € -17 % -
Valorisation de soja: « tofu, farine infantile »
54.96 € -11 % -
OLD AMERICAN SONGS II CHANT
5.24 € -
Marriage, Totemism and Religion: An Answer to Critics
29.95 € -2 % -
Bleigewitter über Cinecitt?
30.25 € -16 % -
Donc Vous Avez Un Ami Invisible: (Ne voir aucun dieu, n'entendre aucun dieu, ne parler ? aucun dieu)
10.58 € -7 % -
Group
11.59 € -20 % -
My Life
20.97 € -24 % -
A K-Pop Love Story
12.30 € -7 % -
Treatise on Grand Military Operations as Contrasted with the Modern System
28.43 € -14 % -
Advances in Growth Curve and Structural Equation Modeling
51.53 € -7 % -
KLIMATOLOGIE
39.13 € -11 % -
Cast of Shadows
101.66 € -
SOLA
21.17 € -
Atención Sociosanitaria a personas en el domicilio.Atención domiciliaria y alimentación familiar. Ce
25.61 € -
Ideas and Lashes
29.75 € -
In Bad Hands, and Other Tales.
22.18 € -24 % -
Cuento-juego. Los tres cerditos
16.43 € -
The Wager and Other Stories
7.25 € -6 % -
The Thin Black Line: True Stories by Black Law Enforcement Officers Policing America's Meanest Streets
14.01 € -25 % -
Adolescent and the Cartel
11.99 € -24 % -
Katherine Mansfield: New Directions
146.55 € -
A Second Letter to the Right Reverend the Lord Bishop of London: On the Law of Marriage Within the Prohibited Degrees of Affinity: With a Letter Fro
13.91 € -24 % -
Works of Ophra Behn
57.69 € -14 % -
Mathematical Results In Quantum Mechanics - Proceedings Of The Qmath10 Conference
199.40 € -5 % -
Weg Ins Heim
37.71 € -6 % -
Artificial Intelligence Enabled Computational Methods for Smart Grid Forecast and Dispatch
164.10 € -7 % -
TEKIS
21.17 € -
Soft Computing as Transdisciplinary Science and Technology
205.15 € -7 % -
Journey of a Lightworker
14.72 € -25 % -
3 little sisters
9.77 € -6 % -
Christoph Columbus
17.84 € -11 % -
Information Security
77.05 € -7 % -
Nehru to the Nineteen Nineties
29.54 € -
MEE Questions Book 2
87.44 € -6 %
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.
More about Computer Aided Verification
You get 125 loyalty points
Book synopsis
This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented toget
Book details
51.53 €
- Full title: Computer Aided Verification
- Author: Isil Dillig, Serdar Tasiran
- Language: English
- Binding: Paperback
- Number of pages: 673
- EAN: 9783030255398
- ISBN: 3030255395
- ID: 24027841
- Publisher: Springer Nature Switzerland AG
- Weight: 1050 g
- Dimensions: 235 × 155 × 38 mm
- Date of publishing: 13. July 2019
Trending among others
-
Moonwalk
14.01 € -14 % -
The Score
13.71 € -
The Deal
12.30 € -21 % -
The Mistake
13.51 € -12 % -
Jujutsu Kaisen, Vol. 30
9.87 € -20 % -
The Goal
14.62 € -
Berserk Deluxe Volume 1
35.70 € -25 % -
Invincible Compendium Volume 2
45.68 € -24 % -
Berserk Deluxe Volume 2
33.17 € -30 % -
Legacy
11.89 € -22 % -
Lord of Mysteries, Vol. 3: The Clown, Part III
17.04 € -13 % -
Jujutsu Kaisen, Vol. 25
9.67 € -25 % -
Murdoku
14.01 € -25 % -
Berserk Deluxe Volume 3
55.16 € -
Witch Hat Atelier: Grimoire Edition 1
35.19 € -29 % -
JoJo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 7
18.15 € -25 % -
White Nights
4.53 € -14 % -
Witch Hat Atelier Manga Box Set 1
53.85 € -28 % -
The Deal
14.62 € -22 % -
Chainsaw Man, Vol. 21
11.19 € -14 % -
Jujutsu Kaisen, Vol. 29
9.27 € -25 % -
Jujutsu Kaisen, Vol. 26
9.67 € -25 % -
Invincible Compendium Volume 3
45.68 € -24 % -
Veil Volume 1
11.99 € -25 % -
Murdoku
14.82 € -27 % -
Dancing The Dream
19.86 € -31 % -
Heated Rivalry
12.50 € -7 % -
Berserk Deluxe Volume 5
54.86 € -
Yesteryear
16.33 € -23 % -
Invincible Compendium Volume 1
61.72 € -25 % -
Jujutsu Kaisen, Vol. 28
9.67 € -25 % -
Boys Omnibus Vol. 1 TPB
26.32 € -38 % -
Jujutsu Kaisen, Vol. 1
13.40 € -
Berserk Deluxe Volume 4
43.56 € -17 % -
Moonwalk: A Memoir
21.68 € -31 % -
The Ballad of Falling Dragons
14.11 € -14 % -
Lord of Mysteries, Vol. 1: The Clown, Part I
14.82 € -24 % -
Jujutsu Kaisen, Vol. 2
9.87 € -20 % -
The Long Game
12.19 € -10 % -
The Courage To Be Disliked
10.68 € -13 % -
The Summer Hikaru Died, Vol. 7
11.89 € -21 % -
The Mistake
14.62 € -22 % -
The Score
14.62 € -22 % -
Project Hail Mary
10.58 € -14 % -
Veil Volume 2
11.99 € -25 % -
Invincible Volume 1
11.19 € -34 % -
Witch Hat Atelier: Grimoire Edition 2
34.69 € -30 % -
The Mistake (Collector's Edition)
22.28 € -29 % -
Atomic Habits
15.83 € -23 %
Shopping guide
Books by language
Collection points Bratislava a 12825 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
25654 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)