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

Formal Methods for Hardware Verification

6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures

Език Английски езикАнглийски език
Книга С меки корици
Книга Formal Methods for Hardware Verification Marco Bernardo
Код Либристо: 01562083
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, май 2006
This book presents 8 papers accompanying the lectures of leading researchers given at the 6th editio... Цялото описание
? points 148 b
61.19 €
119.68  лв
Външен склад в ограничено количество Изпращаме след 13-18 дни

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

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

Chiaroscuro. Interpretazione di un delitto Simone Carbone / Книга С меки корици
common.buy 31.55 € 61.71 лв
Intelektuálové a masy John Carey / Книга С меки корици
common.buy 15.28 € 29.89 лв
The Autumn Stone Small Faces Аудио Аудио компактдиск
common.buy 23.16 € 45.29 лв
Épîtres Maïmonide / Книга С меки корици
common.buy 16.58 € 32.42 лв
Innover avec les acteurs du monde rural Hocdé / Книга С меки корици
common.buy 32.80 € 64.14 лв
Alí i Ramboline VALENTI GUBIANAS / Книга С твърди корици
common.buy 15.95 € 31.21 лв
Ann'es D'Extermination. L'Allemagne Nazie Et Les Juifs (1939-1945)(Les) T2 Pierre-Emmanuel Dauzat / Книга С меки корици
common.buy 17.56 € 34.35 лв
Textos de derecho internacional público Bermejo García / Книга С меки корици
common.buy 29.53 € 57.76 лв
Christiana Albertina Präsidium der Christian-Albrechts-Universität zu Kiel / Книга С меки корици
common.buy 27.30 € 53.40 лв
L'oracle des échos oniriques Luna Ravenheart / Книга С меки корици
common.buy 32.12 € 62.82 лв
Vaillants Soldats Desplantes-F / Книга С меки корици
common.buy 18.03 € 35.26 лв
Pioneiras da ciencia en Galicia MANUEL REY PAN / Книга С меки корици
common.buy 24.40 € 47.72 лв
Wohin und Womit Michael Heßhaus / Книга С твърди корици
common.buy 47.30 € 92.52 лв
MARIA-MERCE MARÇAL. PETITS POEMES MARÇAL / Книга С твърди корици
common.buy 15.95 € 31.21 лв
Chants du cauchemar et de la nuit Ligotti / Книга С меки корици
common.buy 13.21 € 25.83 лв
ALLENDE Y EL MUSEO DEL SUICIDIO DORFMAN / Книга С меки корици
common.buy 24.71 € 48.33 лв
(2 ED.) MONTE PERDIDO Y GAVARNIE - MAPAS PIRENAIC Lopez Calleja / Книга С меки корици
common.buy 18.44 € 36.07 лв
Simulation de la collaboration Homme - Machine Mustapha Belfahli / Книга С меки корици
common.buy 34.09 € 66.68 лв
Kapřík Metlík ve sportovním rybníku Jan Opatřil / Книга С твърди корици
common.buy 7.51 € 14.69 лв
Deep Blue Sea 2, 1 Blu-ray Michael Trent / Видео Blu-ray
common.buy 15.54 € 30.39 лв
99 Sayfada Tüp Bebek Bülent Gülekli / Книга С меки корици
common.buy 8.70 € 17.02 лв
La correspondencia de Benito Arias Montano con el presidente de Indias Juan de Ovando Baldomero Macías Rosendo / Книга С меки корици
common.buy 23.05 € 45.09 лв
Zahlen fur ein erfolgreiches Business Grigori Grabovoi / Книга С меки корици
common.buy 26.84 € 52.49 лв
Unas tardes con Shakespeare Praz / Книга С меки корици
common.buy 20.46 € 40.02 лв

This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2006). SFM 2006 was devoted to formal techniques for hardware verification and covers several aspects of the hardware design process, including hardware design languages and simulation, property specification formalisms, automatic test pattern generation, symbolic trajectory evaluation, and more.

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

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

Пълно заглавие Formal Methods for Hardware Verification
Автор Marco Bernardo, Alessandro Cimatti
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2006
Брой страници 244
Баркод 9783540343042
ISBN 3540343040
Код Либристо 01562083
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 800
Размери 155 x 235 x 17

Категории

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Case-Based Reasoning Research and Development Lorraine McGinty / Книга С меки корици
common.buy 54.51 € 106.61 лв
Heating versus Cooling in Galaxies and Clusters of Galaxies H. Böhringer / Книга С твърди корици
common.buy 54.51 € 106.61 лв
Pharmacology of Ionic Channel Function: Activators and Inhibitors M. Endo / Книга С твърди корици
common.buy 542.63 € 1 061.29 лв
In the Ravine & Other Stories Anton Chekhov / Книга С твърди корици
common.buy 12.59 € 24.62 лв
YOUNG STARS 2ºPRIMARIA. WORKBOOK +CD 2019 H.Q. Mitchell / Книга С меки корици
common.buy 23.26 € 45.49 лв
Little Owl's Snow Divya Srinivasan / Книга С твърди корици
common.buy 15.07 € 29.48 лв
If I Was Your Hamster Angelia Smith / Книга С меки корици
common.buy 10.15 € 19.85 лв
Graffiti and Street Art Konstantinos Avramidis / Книга С меки корици
common.buy 70.16 € 137.21 лв
How To Love Yourself 100% Htebooks / Книга С меки корици
common.buy 8.54 € 16.71 лв
Echoes and Ashes Terrell Washington Anansi / Книга С меки корици
common.buy 8.54 € 16.71 лв
complete work of Rembrandt Wilhelm Von Bode / Книга С меки корици
common.buy 30.26 € 59.18 лв
Poets and Dreamers; Studies and Translations from the Irish Lady Gregory / Книга С твърди корици
common.buy 33.62 € 65.76 лв
Sanctus Illuminatus, 2019 Brochure of Membership Carlos Antonio De Bourbon-Montenegro / Книга С меки корици
common.buy 44.04 € 86.13 лв
His Royal Highness the Comte de Paris William Cox / Книга С меки корици
common.buy 12.43 € 24.31 лв
Leave It to Abigail! Elizabeth Baddeley / Книга С твърди корици
common.buy 18.65 € 36.47 лв
Man of Honour Tyrone Heydenrych / Книга С меки корици
common.buy 19.27 € 37.69 лв
Real Deal Faisal Susiwala / Книга С меки корици
common.buy 15.44 € 30.19 лв
Where's Grandma's Keys Nadine Burr / Книга С твърди корици
common.buy 27.30 € 53.40 лв
Info Buzz: Early Britons: Vikings Stephen White-Thomson / Книга С меки корици
common.buy 11.03 € 21.58 лв
Montreal at War, 1914-1918 Terry Copp / Книга С меки корици
common.buy 30.88 € 60.39 лв
Top
Pippa and Pop Level 1 Activity Book British English Colin Sage / Книга С меки корици
common.buy 9.32 € 18.23 лв
The Servant's Prosperity: The True Purpose of Prosperity Timothy Campbell / Книга С меки корици
common.buy 10.36 € 20.26 лв
Kingdom of Blood and Salt Alexis Calder / Книга С меки корици
common.buy 12.12 € 23.70 лв
Brand No.79 SendPoints / Книга С меки корици
common.buy 21.71 € 42.45 лв

Вход

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

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

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

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

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