Menu
Виж статуса на поръчката
Свържете се с нас
Книга Computer Aided Verification Rupak Majumdar

Computer Aided Verification

Автор: Rupak Majumdar, Viktor Kuncak
Език: Английски език
Корици: С меки корици
Издател: Springer International Publishing AG
Наличност: Външен склад
Изпращаме след 5-8 дни
52.87 € 103.41 лв
The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th Intern...

Информация за книгата

Автор
Rupak Majumdar, Viktor Kuncak
Език
Английски език
Корици
Книга - С меки корици
Издадена
2017
страници
623
EAN
9783319633893
ISBN
3319633899
Enbook ID
16495654
Издател
Springer International Publishing AG
Теглоt
9591
Размери
155 x 235 x 36

Пълно описание

The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017. The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions. The CAV conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis of hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.

Може също да ви хареса

Portland

Walter Fortner
21.46 € 41.97 лв

Fading Humans of Digital World: Balancing crisis of Personal, Corporate and Digital world

Girish Joshi
6.03 € 11.79 лв

How to Make Historic American Costumes

Mary Evans
39.00 € 76.28 лв

Shikimori's Not Just a Cutie 12

V12
10.35 € 20.24 лв

Layman's Notebook

Lester J Forrester
10.30 € 20.14 лв

The Land of Stories Set

Chris Colfer
43.87 € 85.81 лв

Statistics without Tears

Derek Rowntree
12.31 € 24.08 лв

Great Whiskies

DK
16.63 € 32.53 лв

Jesus Arise in this Nation: Prayer Book

O'Neil Brown
6.28 € 12.28 лв

Commonsense Shotgun Shooting with Fred Etchen

Fred Etchen
39.90 € 78.05 лв

The Era of International Space Station Utilization: Perspectives on Strategy from International Research Leaders

National Aeronautics and Administration
15.27 € 29.88 лв

HOUGHTON MIFFLIN MATHMATICS

Houghton Mifflin Company
47.54 € 92.99 лв

Word Study in the Inclusive Secondary Classroom

Melinda Leko
78.56 € 153.64 лв

Holiday Heaven

Cupido
4.17 € 8.15 лв

Dr. Cocktail

Alex Ott
14.27 € 27.91 лв

Art Maker Cozy Coloring Around Town

10.35 € 20.24 лв

Midnight on the Moon Graphic Novel

Kelly Matthews
13.87 € 27.12 лв

Microstructure Atlas of P22 Steel

Rajat K. Roy
147.62 € 288.72 лв

Development As Freedom

Amartya Kumar Sen
15.33 € 29.97 лв

Nuclear Instrumentation II / Instrumentelle Hilfsmittel der Kernphysik II

Edward Creutz
52.87 € 103.41 лв

Ibn Rushd (Averroes)

Dominique Urvoy
183.05 € 358.02 лв

Confirmation Wars

Benjamin Wittes
20.60 € 40.30 лв

RNA Biology - An Introduction

Gunter Meister
73.43 € 143.62 лв

Nick's First Holiday Celebration

Linda Sicks
18.09 € 35.38 лв

Клиенти, които купиха тази книга, купиха също

SILAS MARNER

Eliot
21.16 € 41.38 лв

Uppgiften - erotiska noveller

Cupido
3.31 € 6.48 лв

Promuovere la parit? di genere nel mercato del lavoro e la crescita economica

Riana Navalona Ramonjamanana
40.31 € 78.83 лв

Sprengstoffgesetz - SprengG 2023

Ronny Studier
11.25 € 22.01 лв

Pilzen begegnen

Hans Manhart
22.66 € 44.33 лв

Conexiones

FERNANDEZ FRAGA
23.82 € 46.59 лв

Puzzle Hello Kitty 1000 dílků

8.29 € 16.21 лв

Torba bawełniana Wściekłe Wieszcze ecru

19.10 € 37.35 лв

Riconoscimento del modello nel processo di apprendimento

Sanchez Casanova Ricardo Sanchez Casanova
36.69 € 71.75 лв

Arts Chimiques: Industrie Du Tabac (1867)

Louis Grandeau
19.70 € 38.53 лв

Ur Finlands Konstitutionella Historia, 1809-1863 (1898)

Magnus Gottfrid Schybergson
20.65 € 40.39 лв

Ripios Geográficos

Antonio De Valbuena
23.37 € 45.70 лв

Praxisphasen in der Lehrerbildung

Axel Knüppel
32.16 € 62.91 лв

Plays Hits Agogo

Lutz Krajenski feat. Alana Alexander
19.30 € 37.74 лв

Organisation von Systemen

Bernhard Waszkewitz
38.70 € 75.69 лв

Geschichte der Freundschaft

Michael Roes
24.17 € 47.28 лв

Amanda Und Eduard

Sophie Mereau
12.06 € 23.58 лв

Geschichte eines Vampirs

Thomas Neumann
9.29 € 18.18 лв

Das Geschworenengericht in der attischen Demokratie

Verena Nöckel
14.82 € 28.99 лв

Soldaten

Sönke Neitzel
19.20 € 37.54 лв