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

6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Computer Aided Verification David L. Dill
Код Либристо: 05274394
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, юни 1994
This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at S... Цялото описание
? points 132 b
54.48 €
106.56  лв
Външен склад Изпращаме след 5-8 дни

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

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

autunno caldo. Crisi ecologica, emergenza climatica e altre catastrofi innaturali Andrea Fantini / Книга С меки корици
common.buy 23.04 € 45.07 лв
Insegnare non basta. Essere un maestro nella scuola di oggi Marco Erba / Книга С меки корици
common.buy 18.02 € 35.24 лв
Orthodontische/chirurgische behandeling van verticale skeletdysplasie Priyanka Choudhary / Книга С меки корици
common.buy 35.94 € 70.30 лв
Google adwords CAUMONT / Книга Книга
common.buy 31.02 € 60.67 лв
How to Stay Human in a F*cked-Up World (Spanish edition) Tim Desmond / E-книга Adobe ePub DRM
common.buy 10.41 € 20.35 лв
danza delle ombre. Spie, agenti e molti segreti Guido Olimpio / Книга С твърди корици
common.buy 37.50 € 73.33 лв
Puedes Preguntar Porque Dios Responde: Todo Lo Que Querías Saber Está Aquí Norma Flores / Книга С меки корици
common.buy 10.35 € 20.25 лв
BASICS Psychiatrie Anja Volz / Книга С меки корици
common.buy 27.08 € 52.97 лв
ARANCINI KUNST Malle Raudsepp / Книга С меки корици
common.buy 32.68 € 63.91 лв
Les cycles économiques Ferrara / Книга С меки корици
common.buy 34.70 € 67.86 лв
HuMan ???????? ?????? Hans-Jurgen Klaussner AR / E-книга Adobe ePub DRM
common.buy 9.27 € 18.12 лв
13 Gesetze der Weisheit Kim Barkmann / Книга С меки корици
common.buy 16.16 € 31.60 лв
Top Подготвяме Нови
Boruto - Two Blue Vortex 6 Mikio Ikemoto / Книга С меки корици
common.buy 7.35 € 14.37 лв
On Opened Ground Mark-Anthony Turnage / Печатни материали Ноти
common.buy 50.50 € 98.76 лв
Citadino Mistico MOISES RODRIGUEZ / Книга С меки корици
common.buy 8.44 € 16.50 лв
Tagliche Mathe-UEbungen fur Klasse 5 Thomas Linke / Книга С меки корици
common.buy 16.26 € 31.80 лв
Geschichtsbilder Jürgen Aretz / Книга С меки корици
common.buy 14.03 € 27.44 лв
Gemeinschaft und Identität spätmittelalterlicher Kleinstädte Westfalens Guido Heinzmann / Книга С меки корици
common.buy 33.09 € 64.72 лв
Historia del mundo en el siglo XX : a través de las grandes biografías, novelas y películas Onésimo Díaz Hernández / Книга С меки корици
common.buy 22.58 € 44.16 лв
El caballo, cría y manejo Enzo Berner / Книга С меки корици
common.buy 22.47 € 43.96 лв
Autobiografía de mi madre Jamaica Kincaid / Книга С меки корици
common.buy 23.10 € 45.17 лв
La Bíblia de tots Pilarín Bayés / Книга С меки корици
common.buy 27.91 € 54.59 лв
El teatro de vanguardia en Canarias. 1924-1936 Roberto Javier García de Mesa / Книга С меки корици
common.buy 41.43 € 81.03 лв
LE CHAT COULEUR MURAILLE PIANO GEORGES BIZET Книга binding.
common.buy 11.44 € 22.38 лв

This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at Stanford University in June 1994. The in total 37 included papers were selected in a highly competetive reviewing process from 121 submissions; in total they document many of the most important advances achieved in CAV research and applications since the predecessor conference held in June 1993.The volume is organized in sections on Real-Time Systems, CAV Theory, CAV Applications, Symbolic Verification, Hybrid Systems, Model Checking, Improving Efficiency, and Hardware Verification.

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

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

Пълно заглавие Computer Aided Verification
Автор David L. Dill
Език Английски език
Корици Книга - С меки корици
Дата на издаване 1994
Брой страници 486
Баркод 9783540581796
ISBN 3540581790
Код Либристо 05274394
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 1520
Размери 155 x 235 x 26

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering
Computing & Information Technology > Computer hardware > Network hardware
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
Computing & Information Technology > Operating systems
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Topology Optimization Martin Ph. Bendsoe / Книга С меки корици
common.buy 152.12 € 297.52 лв
Love Scrolls Edward Theodore Hayes / Книга С твърди корици
common.buy 22.16 € 43.35 лв
Exposition of Browning's 's Ordello' David Duff / Книга С твърди корици
common.buy 33.61 € 65.74 лв
Complete Works of Charles Dickens (in 30 Volumes, Illustrated) Charles Dickens / Книга С меки корици
common.buy 23.15 € 45.27 лв
Sparkcharts Calculus II Sparknotes LLC / Книга С меки корици
common.buy 7.19 € 14.07 лв
Sparky the Rescue Dog Saves the Day Gail Westover / Книга С меки корици
common.buy 11.23 € 21.97 лв
Broadway Michelle Young / Книга С твърди корици
common.buy 24.60 € 48.11 лв
Aid to the MRCP PACES Volume 1 - Stations 1 and 3 4e Robert E J Ryder / Книга С меки корици
common.buy 78.78 € 154.07 лв
Top
Golden Kamuy, Vol. 1 Satoru Noda / Книга С меки корици
common.buy 12.69 € 24.81 лв
War of the Seasons, Book Two: The Half-blood Janine K Spendlove / Книга С меки корици
common.buy 17.55 € 34.33 лв
Kanban: Visualize Work and Maximize Efficiency: Beyond the Basics Gary Metcalfe / Книга С меки корици
common.buy 19.31 € 37.78 лв
Weekly Self-Care Journal (Guided Journal): 52 Practices for Balance and Well-Being Katia Narain Phillips / Книга С меки корици
common.buy 18.64 € 36.46 лв
Perioperative Medicine Consult Handbook Molly Blackley Jackson / Книга С меки корици
common.buy 72.67 € 142.12 лв
Startup CEO Matt Blumberg / Книга С твърди корици
common.buy 26.51 € 51.86 лв
Secure And Policy Compliant Source Routing Rahul D / Книга С меки корици
common.buy 51.89 € 101.50 лв
My Mother, The Liar Ann Troup / E-книга Adobe ePub DRM
common.buy 6.52 € 12.75 лв
Handbook of Anti-Aging Medicine Mike Ks Chan / Книга С меки корици
common.buy 190.86 € 373.30 лв
Manual of Prayers / Книга С твърди корици
common.buy 52.57 € 102.81 лв
Outlaw Planet M. R. Carey / Книга С меки корици
common.buy 11.65 € 22.78 лв
Подготвяме
God Knows His Name David Bakke / Книга С твърди корици
common.buy 58.58 € 114.57 лв
Drop S. R. Masters / E-книга Adobe ePub DRM
common.buy 8.07 € 15.79 лв
Unpublished Opinions of the Burger Court Bernard Schwartz / Книга С твърди корици
common.buy 142.69 € 279.08 лв
Top
Abandon the Old in Tokyo Yoshihiro Tatsumi / Книга С меки корици
common.buy 13.57 € 26.53 лв
Подготвяме
Crisis of Democracy in Spain Nigel Townson / Книга С меки корици
common.buy 43.76 € 85.59 лв

Вход

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

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

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

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

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