Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Computer Aided Verification

Език Английски езикАнглийски език
Книга С меки корици
Книга Computer Aided Verification Rupak Majumdar
Код Либристо: 16495654
Издателство Springer International Publishing AG, юли 2017
The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th Intern... Цялото описание
? points 132 b
54.42 €
106.43  лв
Външен склад Изпращаме след 5-8 дни

30 дни за връщане на стоката

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

Pilzen begegnen Hans Manhart / Книга С меки корици
common.buy 23.33 € 45.62 лв
SILAS MARNER Eliot / Книга С меки корици
common.buy 21.77 € 42.59 лв
Promuovere la parit? di genere nel mercato del lavoro e la crescita economica Riana Navalona Ramonjamanana / Книга С меки корици
common.buy 41.48 € 81.14 лв
Sprengstoffgesetz - SprengG 2023 Ronny Studier / Книга С меки корици
common.buy 11.63 € 22.76 лв
Conexiones FERNANDEZ FRAGA / Книга С меки корици
common.buy 27.72 € 54.22 лв
Uppgiften - erotiska noveller Cupido / Аудиокнига MP3
common.buy 3.36 € 6.57 лв
Top
Puzzle Hello Kitty 1000 dílků / Игра/играчка Пъзел
common.buy 7.70 € 15.07 лв
Riconoscimento del modello nel processo di apprendimento Sanchez Casanova Ricardo Sanchez Casanova / Книга С меки корици
common.buy 37.76 € 73.85 лв
Ur Finlands Konstitutionella Historia, 1809-1863 (1898) Magnus Gottfrid Schybergson / Книга С меки корици
common.buy 16.45 € 32.16 лв
Praxisphasen in der Lehrerbildung Axel Knüppel / Книга С меки корици
common.buy 33.16 € 64.85 лв
Plays Hits Agogo Lutz Krajenski feat. Alana Alexander / Аудио Аудио компактдиск
common.buy 19.86 € 38.84 лв
Organisation von Systemen Bernhard Waszkewitz / Книга С меки корици
common.buy 46.81 € 91.56 лв
Geschichte der Freundschaft Michael Roes / Книга С твърди корици
common.buy 24.93 € 48.76 лв
Amanda Und Eduard Sophie Mereau / Книга С меки корици
common.buy 12.41 € 24.27 лв
Geschichte eines Vampirs Thomas Neumann / Книга С меки корици
common.buy 9.57 € 18.71 лв
Soldaten Sönke Neitzel / Книга С меки корици
common.buy 20.95 € 40.97 лв

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.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

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

Пълно заглавие Computer Aided Verification
Автор Rupak Majumdar, Viktor Kuncak
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2017
Брой страници 623
Баркод 9783319633893
ISBN 3319633899
Код Либристо 16495654
Издателство Springer International Publishing AG
Тегло 9591
Размери 155 x 235 x 36

Категории

Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer programming / software engineering
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

Development As Freedom Amartya Kumar Sen / Книга С меки корици
common.buy 15.77 € 30.85 лв
Fading Humans of Digital World: Balancing crisis of Personal, Corporate and Digital world Girish Joshi / Книга С меки корици
common.buy 6.20 € 12.13 лв
How to Make Historic American Costumes Mary Evans / Книга С твърди корици
common.buy 40.14 € 78.50 лв
Top
Shikimori's Not Just a Cutie 12 V12 / Книга С меки корици
common.buy 10.65 € 20.83 лв
Top
The Land of Stories Set Chris Colfer / Книга С меки корици
common.buy 50.43 € 98.64 лв
Statistics without Tears Derek Rowntree / Книга С меки корици
common.buy 12.67 € 24.78 лв
Great Whiskies DK / Книга С твърди корици
common.buy 17.12 € 33.48 лв
The Era of International Space Station Utilization: Perspectives on Strategy from International Research Leaders National Aeronautics and Administration / Книга С меки корици
common.buy 15.72 € 30.75 лв
Word Study in the Inclusive Secondary Classroom Melinda Leko / Книга С твърди корици
common.buy 80.85 € 158.13 лв
Price of Love Vicki Hopkins / Книга С меки корици
common.buy 14.63 € 28.62 лв
Carbon Footprint Analysis Defne Apul / Книга С твърди корици
common.buy 172.78 € 337.93 лв
Nick's First Holiday Celebration Linda Sicks / Книга С твърди корици
common.buy 18.15 € 35.50 лв
RNA Biology - An Introduction Gunter Meister / Книга С меки корици
common.buy 75.58 € 147.81 лв
Confirmation Wars Benjamin Wittes / Книга С меки корици
common.buy 21.21 € 41.47 лв
Nuclear Instrumentation II / Instrumentelle Hilfsmittel der Kernphysik II Edward Creutz / Книга С меки корици
common.buy 54.42 € 106.43 лв
Holiday Heaven Cupido / Аудиокнига MP3
common.buy 4.24 € 8.29 лв
Microstructure Atlas of P22 Steel Rajat K. Roy / Книга С меки корици
common.buy 151.93 € 297.15 лв
Dr. Cocktail Alex Ott / Книга С твърди корици
common.buy 14.69 € 28.72 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo