Проверка на състоянието на поръчката
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

24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Computer Aided Verification Madhusudan Parthasarathy
Код Либристо: 01661539
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, юни 2012
This book constitutes the refereed proceedings of the 24th International Conference on Computer Aide... Цялото описание
? points 132 b
54.42 €
106.43  лв
Външен склад Изпращаме след 5-8 дни

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

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

Paladear con el cerebro Francisco Javier Cudeiro Mazaira / Книга С меки корици
common.buy 16.19 € 31.66 лв
Soupis staročeských exempel Karel Dvořák / Книга С твърди корици
common.buy 10.19 € 19.92 лв
Grammaire Anglaise Anne-Marie Bonnerot / Книга С меки корици
common.buy 4.65 € 9.10 лв
Netzwerk Stefanie Dengler / Книга С меки корици
common.buy 22.76 € 44.51 лв
Tonio Kröger Thomas Mann / Книга С меки корици
common.buy 12.62 € 24.68 лв
Gesse wird deheim Svetlana Handschuh / Книга С меки корици
common.buy 13.81 € 27.00 лв
Hände weg von Mississippi Cornelia Funke / Книга С твърди корици
common.buy 12.67 € 24.78 лв
Die Radiotrinkerin Max Goldt / Книга С меки корици
common.buy 13.45 € 26.30 лв
Das Bevölkerungspotential der Sowjetunion. Ernst Eisendrath / Книга С меки корици
common.buy 23.12 € 45.22 лв
Blanche-Neige doit mourir Nele Neuhaus / Книга С меки корици
common.buy 14.53 € 28.42 лв
Karl May Moc fantázie Helmut Schmiedt / Книга С твърди корици
common.buy 17.27 € 33.78 лв
Nunca mas olvidada Christina McKnight / E-книга Adobe ePub DRM
common.buy 5.22 € 10.21 лв
La Guerre au XXIe siecle Murawiec Laurent Murawiec / E-книга Adobe ePub DRM
common.buy 19.45 € 38.03 лв

This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in topical sections on automata and synthesis, inductive inference and termination, abstraction, concurrency and software verification, biology and probabilistic systems, embedded and control systems, SAT/SMT solving and SMT-based verification, timed and hybrid systems, hardware verification, security, verification and synthesis, and tool demonstration.

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

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

Пълно заглавие Computer Aided Verification
Автор Madhusudan Parthasarathy, Sanjit A. Seshia
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2012
Брой страници 789
Баркод 9783642314230
ISBN 3642314236
Код Либристо 01661539
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 1200
Размери 155 x 235 x 44

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Software Engineering > Software testing & verification
Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer hardware
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Eumon the Treleum F R Kenabiget / Книга С твърди корици
common.buy 19.45 € 38.03 лв
RIGBY PM PLUS Rigby / Книга С меки корици
common.buy 59.80 € 116.95 лв
No-Nonsense Guide to Heat Wave, Drought, & Hot Weather Safety Jeffery Sims / Книга С меки корици
common.buy 11.38 € 22.25 лв
Life and Times of A Black Man from Georgia Coach James Carr / Книга С меки корици
common.buy 18.31 € 35.81 лв
Waste Books Georg Lichtenberg / Книга С меки корици
common.buy 14.27 € 27.92 лв
Walking the Tightrope of Reason Robert Fogelin / Книга С меки корици
common.buy 20.64 € 40.36 лв
Atlas of Nevada Conifers David Alan Charlet / Книга С меки корици
common.buy 37.35 € 73.04 лв
101 Recipes for Making Cheese Cynthia Martin / Книга С меки корици
common.buy 31.03 € 60.70 лв
Forensic Sciences of CSI Elke Weissmann / Книга С меки корици
common.buy 82.15 € 160.66 лв
Callback Bill Svanoe / Книга С меки корици
common.buy 14.89 € 29.13 лв
Lutchmee and Dilloo John Edward Jenkins / Книга С меки корици
common.buy 25.86 € 50.58 лв
To the Point of a Powerful Return Janice Darty / Книга С меки корици
common.buy 17.38 € 33.99 лв
Django 1.1 Testing and Debugging K. Tracey / Книга С меки корици
common.buy 56.28 € 110.07 лв
Britcoms FAQ Dave Thompson / Книга С меки корици
common.buy 21.46 € 41.98 лв
Space Explorers McGraw-Hill Education / Книга С меки корици
common.buy 24.98 € 48.86 лв
M-Step Grade 8 English Language Arts Flashcard Study System: M-Step Test Practice Questions and Exam Review for the Michigan Student Test of Education M-Step Exam Secrets Test Prep / Игра/играчка Игра
common.buy 42.47 € 83.06 лв
Fatigue of the Shari'a A. Ahmad / Книга С меки корици
common.buy 56.12 € 109.77 лв
European Union and the BRICS Marek Rewizorski / Книга С меки корици
common.buy 54.42 € 106.43 лв
How Hard Can It Be? Allison Pearson / Книга С меки корици
common.buy 12.67 € 24.78 лв
Multiplicative Invariant Theory Martin Lorenz / Книга С меки корици
common.buy 119.44 € 233.61 лв
Steel Wheels Live Rolling Stones / Книга binding.
common.buy 58.14 € 113.72 лв
A Handbook Of Rocks: For Use Without The Petrographic Microscope James Furman Kemp / Книга С твърди корици
common.buy 36.21 € 70.81 лв
Soul Plan Blue Marsden / Книга С меки корици
common.buy 18.20 € 35.61 лв
Extending jQuery Keith Wood / Книга С меки корици
common.buy 51.31 € 100.36 лв

Вход

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

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

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

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

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