Kód: 24027841
Computer Aided Verification
Autor 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 ... celý popis
- Jazyk:
Angličtina - Väzba: Brožovaná
- Počet strán: 673
Nakladateľ: Springer Nature Switzerland AG, 2019
- Viac informácií o knihe
51.01 €
Bežne: 55.30 €
Ušetríte 4.29 €
Skladom u dodávateľa
Odosielame za 5 - 8 dní
Mohlo by sa vám tiež páčiť
-
Collecting Matchbox: Regular Wheels 1953-1969
21.70 € -25 % -
Harry Potter Slytherin House Editions Hardback Box Set
180.56 € -29 % -
Trapped in a Video Game: The Complete Series
34.40 € -24 % -
335 Selected Melodious Progressive & Technical Studies: Horn
30.90 € -9 % -
Invisible Women: Data Bias in a World Designed for Men
14.70 € -24 % -
Sex Differences in Intelligence
14.10 € -7 % -
Hory zpívají
16.10 € -15 % -
Morče
6.79 € -16 % -
Radiographic Atlas of Skeletal Development of the Hand and Wrist
167.66 € -6 % -
KOREAN WORD SEARCH - LEVEL OF DIFFICULTY
9.89 € -24 % -
BioShock: Rapture
15.30 € -25 % -
Wolfsmund
13.80 € -24 % -
Io e il mio amico Gesù facciamo tante cose assieme. La comunione
10.19 € -
Feasibility Study
33.70 € -24 % -
Privileged Brotherhoods
38.41 € -25 % -
30 Jahre Nachhilfe in 60 Minuten
10.69 € -10 % -
The Princess and the Pea
13.90 € -7 % -
Choice and Consequence
45.51 € -
Do You Dream of Terra-Two?
12.60 € -25 % -
The Diabolical Bones
19 € -18 % -
Complete Guide to Building Your Own Home
29.10 € -9 % -
Champions of Charity
84.82 € -
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.70 € -2 % -
Besser hausgemacht mit dem Thermomix®
12.60 € -16 % -
Omaha Beach
43.11 € -
Donc Vous Avez Un Ami Invisible: (Ne voir aucun dieu, n'entendre aucun dieu, ne parler ? aucun dieu)
10.49 € -7 % -
Group
11.19 € -19 % -
TEKIS
21 € -
Atención Sociosanitaria a personas en el domicilio.Atención domiciliaria y alimentación familiar. Ce
25.30 € -
Marriage, Totemism and Religion: An Answer to Critics
29.70 € -2 % -
In Bad Hands, and Other Tales.
22 € -24 % -
Secme Dünya Öyküleri
16 € -4 % -
PRÄVENTIVE ZAHNMEDIZIN: DAMIT DAS LÄCHELN FREI VON VERLETZUNGEN BLEIBT
38.81 € -11 % -
Katherine Mansfield: New Directions
142.25 € -
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.80 € -24 % -
Un coup de dés jamais n'abolira le hasard
20.30 € -
KLIMATOLOGIE
38.81 € -11 % -
Bleigewitter über Cinecitt?
29.90 € -16 % -
Journey of a Lightworker
14.60 € -25 % -
The Thin Black Line: True Stories by Black Law Enforcement Officers Policing America's Meanest Streets
13.90 € -25 % -
Plaster Czarownicy i inne baśnie
9.09 € -17 % -
Adolescent and the Cartel
9.89 € -20 % -
Valorisation de soja: « tofu, farine infantile »
54.51 € -11 % -
Works of Ophra Behn
57.21 € -14 % -
Mathematical Results In Quantum Mechanics - Proceedings Of The Qmath10 Conference
191.47 € -
Cast of Shadows
97.73 € -
Treatise on Grand Military Operations as Contrasted with the Modern System
28.20 € -14 % -
Advances in Growth Curve and Structural Equation Modeling
51.01 € -7 % -
A K-Pop Love Story
12.19 € -7 % -
3 little sisters
9.69 € -6 % -
MEE Questions Book 2
86.73 € -6 % -
The Utility of Strategic Surveys for Rare and Little- Known Species Under the Northwest Forest Plan
14.80 € -6 % -
Die Ritter von Heliopolis. Band 3
15.60 € -2 % -
Weg Ins Heim
37.41 € -6 % -
Artificial Intelligence Enabled Computational Methods for Smart Grid Forecast and Dispatch
162.76 € -7 % -
My Life
20.80 € -24 % -
Print Proceedings of the IMECE International Mechanical Engineering Congress & Exposition (IMECE2018): Volume 1
139.05 € -10 % -
Soft Computing as Transdisciplinary Science and Technology
203.47 € -7 % -
The Wager and Other Stories
7.19 € -6 % -
Japanese Fairy Tale Series
11.09 € -24 % -
Técnicas de relajación creativa y emocional
23.50 € -
Nehru to the Nineteen Nineties
29.30 € -
Técnicas n?o-farmacológicas de gest?o do comportamento
38.81 € -14 % -
Problem-Solving in Conservation Biology and Wildlife Management 2e
54.31 € -10 % -
SOLA
18.60 € -5 % -
Ideas and Lashes
26.20 € -
Cuento-juego. Los tres cerditos
16.10 € -
Information Security
76.42 € -7 % -
CARTE - LA NATURE EN HAUTE MONTAGNE
23.80 € -
Christoph Columbus
17.70 € -11 %
Darčekový poukaz: Radosť zaručená
- Darujte poukaz v ľubovoľnej hodnote, a my sa postaráme o zvyšok.
- Poukaz sa vzťahuje na všetky produkty v našej ponuke.
- Elektronický poukaz si vytlačíte z e-mailu a môžete ho ihneď darovať.
- Platnosť poukazu je 12 mesiacov od dátumu vystavenia.
Viac informácií o knihe Computer Aided Verification
Nákupom získate 125 bodov
Anotácia knihy
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
Parametre knihy
51.01 €
- Celý názov: Computer Aided Verification
- Autor: Isil Dillig, Serdar Tasiran
- Jazyk: Angličtina
- Väzba: Brožovaná
- Počet strán: 673
- EAN: 9783030255398
- ISBN: 3030255395
- ID: 24027841
- Nakladateľ: Springer Nature Switzerland AG
- Hmotnosť: 1050 g
- Rozmery: 235 × 155 × 38 mm
- Dátum vydania: 13. July 2019
Obľúbené z iného súdka
-
Threshing Day (Wing and Claw Collection)
17.90 € -29 % -
Threshing Day (Limited Deluxe Edition)
20.60 € -29 % -
21 Days of Fear
16.20 € -27 % -
White Nights
4.49 € -14 % -
Berserk Deluxe Volume 1
38.91 € -25 % -
Murdoku
14.50 € -22 % -
The Art of Gravity Falls
36.50 € -25 % -
The Mirror of Infinite Endings
14.60 € -25 % -
The Long-Lived King: An Original The Owl House Graphic Novel
16.30 € -30 % -
What Happened Yesterday
15.60 € -26 % -
Berserk Deluxe Volume 2
36.50 € -28 % -
Court of Thorns and Roses 6
15.60 € -30 % -
Berserk Deluxe Volume 3
55.31 € -
Witch Hat Atelier: Grimoire Edition 1
35.10 € -29 % -
Kid's Box New Generation Level 2 Activity Book with Digital Pack British English
12.30 € -
Lord of Mysteries, Vol. 4: The Faceless, Part I
17 € -13 % -
Jojo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 8
18.20 € -24 % -
The Courage To Be Disliked
10.59 € -13 % -
The Mirror of Infinite Endings
19 € -29 % -
Fourth Wing
23.80 € -23 % -
Kid's Box New Generation Level 1 Activity Book with Digital Pack British English
11.09 € -5 % -
Iron Flame
24.80 € -20 % -
Kid's Box New Generation Level 3 Activity Book with Digital Pack British English
11.09 € -5 % -
Yesteryear
16.10 € -12 % -
Protocols
15.30 € -24 % -
Jojo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 9
18.10 € -24 % -
The Count of Monte Cristo
13.70 € -6 % -
Pokémon Deluxe Character Guide
39.71 € -28 % -
Murdoku
17 € -24 % -
Murdoku Volume 2: Back in Time
14.50 € -22 % -
East of Eden
12.70 € -26 % -
Dancing The Dream
21.60 € -24 % -
Protocols
16.50 € -
Berserk Deluxe Volume 4
43.51 € -16 % -
Once Upon a Broken Heart Collector's Edition
25.90 € -29 % -
I Who Have Never Known Men
10.19 € -28 % -
Designing Data-Intensive Applications
49.71 € -23 % -
Penguin Readers Level 4: The Adventures of Sherlock Holmes (ELT Graded Reader)
10.39 € -9 % -
Fruit Fly
16.20 € -27 % -
Jojo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 2
18.80 € -21 % -
Berserk Deluxe Volume 5
54.81 € -
JoJo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 7
18.10 € -24 % -
Kid's Box New Generation Level 3 Pupil's Book with eBook British English
16.70 € -13 % -
Jojo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 1
18.10 € -24 % -
Project Hail Mary
9.99 € -27 % -
Psychology of Money
18.20 € -6 % -
Witch Hat Atelier: Grimoire Edition 2
35.10 € -29 % -
Kid's Box New Generation Level 4 Activity Book with Digital Pack British English
11.89 € -
Kid's Box New Generation Level 1 Pupil's Book with eBook British English
16.70 € -13 %
Shopping guide
Books by language
Collection points Bratislava a 13466 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
26936 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)