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

14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings

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

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

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

Biblia Reina Valera Letra Súper Gigante, Símil Piel Negro / Spanish Bible Reina Valera Super Giant Print, Black Leathersoft Reina Valera 1909 / Книга С меки корици
common.buy 28.98 € 56.68 лв
Tiere und ihr Zuhause Claudia Boldt / Игра/играчка Игра
common.buy 15.08 € 29.50 лв
¡De vacaciones! PETER KNORR / Книга С меки корици
common.buy 17.72 € 34.65 лв
O Livro de Metatron - O Anjo da Presença Max Stone / Книга С меки корици
common.buy 15.55 € 30.41 лв
Albert & Einstein. Spannender Rätselkrimi zum Mitraten, Band 1: In den Fängen von Dr. Chaos (Lustiges Rätselbuch ab 8 Jahre) Tim Collins / Книга С меки корици
common.buy 7.80 € 15.25 лв
Čeho bychom se měli obávat? John Brockman / Книга С меки корици
common.buy 12.81 € 25.05 лв
Marketing Gubernamental. Manual de estrategias y herramientas para gobiernos e instituciones en la e PEREZ ROJAS / Книга С меки корици
common.buy 35.75 € 69.92 лв
I care Lernkarten Spezielle Pflege - Anatomie, Physiologie, Krankheitslehre und Pflege bei speziellen Erkrankungen Walter Anton / Игра/играчка Игра
common.buy 44.84 € 87.70 лв
Contraception Et D sir d'Enfant Aimée Patricia Ndembi Ndembi / Книга С меки корици
common.buy 74.40 € 145.51 лв
20.000 leguas de viaje submarino Jules Verne / Книга С твърди корици
common.buy 14.26 € 27.88 лв
Metapolitica. Trasformazione globale e guerra fra potenze Daniel Estulin / Книга С меки корици
common.buy 39.42 € 77.09 лв
Lean Management Andreas Kammel / Книга С меки корици
common.buy 44.84 € 87.70 лв
Journal Martin du Gard / Книга С твърди корици
common.buy 73.26 € 143.28 лв
Magdeburger Drogenmarkt Sven Paschke / Книга С меки корици
common.buy 35.90 € 70.22 лв
Cocktails Manuela Eder / Книга С твърди корици
common.buy 5.99 € 11.71 лв
Aus Dem Geschlecht Der Byge - Erster Band Laurids Bruun / Книга С твърди корици
common.buy 23.66 € 46.27 лв
Abenteuer des schwarzen Gerard 2 Karl May / Книга С твърди корици
common.buy 28.31 € 55.37 лв
Pán prstenů Návrat krále John Ronald Reuel Tolkien / Книга С твърди корици
common.buy 26.14 € 51.12 лв

This book constitutes the refereed proceedings of the 14th International Conference on Computer Aided Verification, CAV 2002, held in Copenhagen, Denmark in July 2002. The 35 revised full papers presented together with five invited contributions and 11 tool presentations were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections in symbolic model checking, abstraction/refinement and model checking, compositional/structural verification, timing analysis, SAT based methods, infinite state model checking, extended model checking, code verification, regular model checking and acceleration, and model reduction.

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

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

Пълно заглавие Computer Aided Verification
Автор Ed Brinksma, Kim G. Larsen
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2002
Брой страници 362
Баркод 9783540439974
ISBN 3540439978
Код Либристо 01564506
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 2010
Размери 155 x 233 x 36

Категории

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

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

Essential Elements Jazz Play-Along - Jazz Standards: Rhythm Section [With CDROM] Hal Leonard Corp / Книга С меки корици
common.buy 14.82 € 28.99 лв
Introduction to Home Management Sandhya Rani Mohanty / Книга С меки корици
common.buy 37.82 € 73.96 лв
Top
Let's Find Momo! Andrew Knapp / Книга Дипляна
common.buy 10.90 € 21.31 лв
LAW REPORTS PRIVY COUNCIL APPE Great Britain Privy Council Judicial C. / Книга С твърди корици
common.buy 39.16 € 76.59 лв
SAXON MATH COURSE 1 Saxpub / Книга С твърди корици
common.buy 221.34 € 432.90 лв
Taste of Home How Do I Make...? Editors at Taste of Home / Книга С меки корици
common.buy 17.61 € 34.45 лв
Under the Gaslight Augustin Daly / Книга С меки корици
common.buy 13.33 € 26.06 лв
Stephen Crane's Classics: The Red Badge of Courage and Maggie: A Girl of the Streets Stephen Crane / Книга С меки корици
common.buy 10.33 € 20.20 лв
Cheerleading Kaitlyn Duling / Книга С твърди корици
common.buy 34.51 € 67.49 лв
Pediatric Dysphagia Julina Ongkasuwan / Книга С твърди корици
common.buy 148.59 € 290.62 лв
Harry Potter and the Half-Blood Prince, 6 J K Rowling / Книга С меки корици
common.buy 12.09 € 23.64 лв
Housing in Taiwan William D.H. Li / Книга С твърди корици
common.buy 172.57 € 337.51 лв
The Prodigal Son Revisited: Exit and Return of Angels, Humans, and the Trinity MR Samuel J Castellino / Книга С меки корици
common.buy 17.46 € 34.15 лв
Who Is Bharat Mata? On History, Culture and the Idea of India Purushottam Agrawal / Книга С меки корици
common.buy 29.14 € 56.98 лв
Hawaiian Chihuahua Ukulele Tabs / Книга С меки корици
common.buy 9.35 € 18.28 лв
Dynamic Well Testing in Petroleum Exploration and Development Yongxin Han / Книга С меки корици
common.buy 199.12 € 389.45 лв
Sunkisses Larsee H Mac / Книга С меки корици
common.buy 14.88 € 29.09 лв
Top
Mauser Rifles, Vol. 1: 1870-1918 GUILLOU LUC / Книга С твърди корици
common.buy 22.11 € 43.24 лв
The Religion Of The Spirit World: Written By The Spirits Themselves (1920) George Henslow / Книга С меки корици
common.buy 27.84 € 54.46 лв
Epic Drives of the World 1 Lonely planet eng / Книга С меки корици
common.buy 17.10 € 33.44 лв
Inspired Winsome James / Книга С меки корици
common.buy 17.56 € 34.35 лв
Crime for the Books Kate Young / E-книга Adobe ePub DRM
common.buy 18.75 € 36.67 лв
Top
Eden of Witches Volume 1 YUMEJI / Книга С меки корици
common.buy 11.52 € 22.53 лв
Research Methods in Publishing and Book Studies Rachel Noorda / Книга С меки корици
common.buy 61.74 € 120.75 лв

Вход

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

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

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

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

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