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

12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Computer Aided Verification E. Allen Emerson
Код Либристо: 01567506
Издателство Springer, Berlin, ноември 1999
This book constitutes the refereed proceedings of the 12th International Conference on Computer Aide... Цялото описание
? points 289 b
119.77 €
234.26  лв
Външен склад в ограничено количество Изпращаме след 13-18 дни

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

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

Pokémon: Mein großer Pokémon-Block Panini / Книга С меки корици
common.buy 9.37 € 18.32 лв
600 Primeras Palabras Más Usadas Tarjetas Bebe Bilingüe Vocabulario Espa?ol Portugués Libro Infantiles Para Ni?os: Aprender imaginario diccionario bás Lenguaje Preparacion / Книга С меки корици
common.buy 13.10 € 25.61 лв
Der Grundsatz der Verhältnismäßigkeit in der Rechtsprechung des Gerichtshofs der Europäischen Gemeinschaften. Oliver Koch / Книга С меки корици
common.buy 139.14 € 272.14 лв
SPIDER-MAN. 5 MINUTOS PARA SOÑAR MARVEL / Книга Книга
common.buy 12.73 € 24.91 лв
Las celdas de mi cuerpo Rivero / Книга С меки корици
common.buy 5.07 € 9.92 лв
BIDAIA SANNA / Книга С твърди корици
common.buy 24.80 € 48.51 лв
Principes d'analyse fonctionnelle WILLEM / Книга С меки корици
common.buy 38.42 € 75.14 лв
Le Livre des merveilles du monde Polo / Книга С меки корици
common.buy 4.66 € 9.11 лв
Phi Phi Island Josef Haslinger / Книга С меки корици
common.buy 14.39 € 28.15 лв
Vogesen Curt Mundel / Книга С меки корици
common.buy 61.31 € 119.91 лв
Standards der OP-Patientenlagerung Sadik Duru / Книга С меки корици
common.buy 69.75 € 136.42 лв
Ruckkehr Der Zeitmaschine Egon Friedell / Книга С твърди корици
common.buy 23.71 € 46.38 лв
LES SOEURS DE PRAGUE J. Garcin / Книга С меки корици
common.buy 12.01 € 23.49 лв
Einfuhrung von Hedge Fonds in Deutschland vor dem Hintergrund des Investmentmodernisierungsgesetzes 2004 und der Entwicklung des Fondswesens Susanne Steimel / Книга С меки корици
common.buy 69.91 € 136.72 лв

This book constitutes the refereed proceedings of the 12th International Conference on Computer Aided Verification, CAV 2000, held in Chicago, IL, USA in July 2000.§The 35 revised full papers presented together with 9 tool papers were carefully reviewed and selected from 91 submissions. The papers address all current aspects of the theory and practice of formal methods for hardware and software verification. Emphasis is given to verification algorithms, methods, and tools and their implementation.

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

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

Пълно заглавие Computer Aided Verification
Автор E. Allen Emerson, A. Prasad Sistla
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2000
Брой страници 590
Баркод 9783540677703
ISBN 3540677704
Код Либристо 01567506
Издателство Springer, Berlin
Тегло 894
Размери 155 x 235 x 30

Категории

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
Medicine & Nursing > Medicine: general issues
Computing & Information Technology > Operating systems
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

German Influence on Australian English Markus Bieswanger / Книга С меки корици
common.buy 49.24 € 96.31 лв
A Woman Loved Andre Makine / Книга С меки корици
common.buy 14.18 € 27.74 лв
Top
OUR LAST CRUSADE SECRET FILE V03 LN V03 / Книга С меки корици
common.buy 18.02 € 35.24 лв
Cocaine and Rhinestones Wayne White / Книга С твърди корици
common.buy 26.87 € 52.56 лв
Anatomy of the Abyss: The Neophyte's Compendium Dusan Trajkovic / Книга С меки корици
common.buy 17.39 € 34.02 лв
Amanda Grows Up: A Novel of Love and Sex Kathryn M Burke / Книга С меки корици
common.buy 10.30 € 20.15 лв
The Haskalah Movement in Russia: Jewish Classics Jacob S Raison Ph D / Книга С меки корици
common.buy 9.42 € 18.42 лв
Power System Dynamics and Stability - With Synchrophasor Measurement and Power System Toolbox 2e Peter W. Sauer / Книга С твърди корици
common.buy 125.11 € 244.69 лв
Mountain Man's Dog Gary Corbin / Книга С твърди корици
common.buy 18.74 € 36.65 лв
Patriarchs, Prophets and Other Villains Lisa Isherwood / Книга С меки корици
common.buy 80.94 € 158.30 лв
Consciousness Of The Atom Alice a Bailey / Книга С меки корици
common.buy 15.01 € 29.36 лв
Misguided Obsessions Dinah Walker / Книга С меки корици
common.buy 19.93 € 38.98 лв
Playwriting Effiong Johnson / Книга С твърди корици
common.buy 32.72 € 64.00 лв
Dime 1st Edition Student's Book 1 with Audio CD Malva Lewis / Книга binding.
common.buy 14.60 € 28.55 лв
Ephesians Frank S. Thielman / Книга С твърди корици
common.buy 45.62 € 89.22 лв
Inner Grace Phillip Cary / Книга С твърди корици
common.buy 89.27 € 174.60 лв
Embryos under the Microscope Jane Maienschein / Книга С твърди корици
common.buy 49.14 € 96.11 лв
Get Going with Kindle Fire in Easy Steps Nick Vandome / Книга С меки корици
common.buy 10.46 € 20.45 лв
Nanostructured Materials Preparation via Condensation Ways Anatolii D. Pomogailo / Книга С твърди корици
common.buy 108.69 € 212.58 лв
Plant Toxin Analysis Hans F. Linskens / Книга С твърди корици
common.buy 212.68 € 415.96 лв
Small Bodies in Planetary Systems I. Mann / Книга С твърди корици
common.buy 54.47 € 106.54 лв

Вход

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

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

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

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

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?