Проверка на състоянието на поръчката
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 American Mathem American Mathem
Код Либристо: 06319043
Издателство American Mathematical Society, юни 1991
Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Ru... Цялото описание
? points 436 b
180.42 €
352.86  лв
50% вероятност Ще претърсим света Кога ще получа книгата?

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

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

ActionScript 3.0 para desarrolladores : programación orientada a objetos y buenas prácticas Alberto Ezequiel Kashi / Книга С меки корици
common.buy 25.37 € 49.62 лв
Zeis Mati Blum / Книга С меки корици
common.buy 15.74 € 30.78 лв
Nuvole Bianche Nessa 19971995 / Книга С меки корици
common.buy 14.91 € 29.16 лв
Lettres De Gerbert (983-997) Pub. Avec Une Introduction Et Des Notes... / Книга С меки корици
common.buy 29.20 € 57.11 лв

Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Rutgers University in June 1990. This work focuses on the problem of making formal verification feasible for various models of computation. It emphasizes on models associated with distributed programs, protocols and digital circuits.

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

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

Пълно заглавие Computer-aided Verification
Автор American Mathem American Mathem
Език Английски език
Корици Книга - С твърди корици
Дата на издаване 1991
Баркод 9780821865941
ISBN 9780821865941
Код Либристо 06319043
Издателство American Mathematical Society
Тегло 666

Категории

Mathematics & Science > Mathematics > Algebra
Computing & Information Technology > Computer science
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Integrative Cardiovascular Chinese Medicine Anika Al-Shura / Книга С твърди корици
common.buy 138.57 € 271.03 лв
Crystal Path Georgina Easterbrook / Книга С твърди корици
common.buy 22.16 € 43.34 лв
Moo-Cow Kung-Fu-Cow Nick Sharratt / Книга Дипляна
common.buy 7.09 € 13.87 лв
Your Star Child: Attracting, Birthing and Parenting an Evolved Soul Mary M. Mayhew / Книга С меки корици
common.buy 17.45 € 34.12 лв
Getting Started with Grails Rudolph / Книга С меки корици
common.buy 21.95 € 42.93 лв
Wild Oats Or The Strolling Gentlemen John O'Keeffe / Книга С твърди корици
common.buy 47.79 € 93.48 лв
Patterns of a Network Economy Börje Johansson / Книга С меки корици
common.buy 119.77 € 234.26 лв
Подготвяме
Sculptured Thin Films Russell F. Messier / Книга С твърди корици
common.buy 101.65 € 198.81 лв
Responsible Management of Information Systems Stahl / Книга С твърди корици
common.buy 88.39 € 172.88 лв
Подготвяме
Invention of the Moving Assembly Line Dennis Abrams / Книга С твърди корици
common.buy 42.10 € 82.33 лв
Подготвяме
Evaluation Findings for Taylor Devices Fluid Viscous Damper Highway Innovative Technology Evaluation / Книга С меки корици
common.buy 56.34 € 110.19 лв
Computer-aided Method Engineering Ajantha Dahanayake / Книга С твърди корици
common.buy 82.96 € 162.25 лв
First World, Third World William Ryrie / Книга С твърди корици
common.buy 119.77 € 234.26 лв
Assessment of Naval Hydromechanics, Science and Technology Committee for Naval Hydromechanics Science and Technology / Книга С меки корици
common.buy 54.99 € 107.55 лв
150 Idees Recues Sur L'Histoir FL / Книга С меки корици
common.buy 26.30 € 51.44 лв

Вход

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

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

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

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

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