Проверка на състоянието на поръчката
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.21 €
119.71  лв
Външен склад в ограничено количество Изпращаме след 13-18 дни

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

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

The Autumn Stone Small Faces Аудио Аудио компактдиск
common.buy 23.14 € 45.26 лв
MARIA-MERCE MARÇAL. PETITS POEMES MARÇAL / Книга С твърди корици
common.buy 16.88 € 33.01 лв
Intelektuálové a masy John Carey / Книга С меки корици
common.buy 15.27 € 29.87 лв
Pioneiras da ciencia en Galicia MANUEL REY PAN / Книга С меки корици
common.buy 28.01 € 54.78 лв
Chiaroscuro. Interpretazione di un delitto Simone Carbone / Книга С меки корици
common.buy 21.59 € 42.23 лв
L'oracle des échos oniriques Luna Ravenheart / Книга С меки корици
common.buy 32.26 € 63.09 лв
Chants du cauchemar et de la nuit Ligotti / Книга С меки корици
common.buy 13.36 € 26.12 лв
Christiana Albertina Präsidium der Christian-Albrechts-Universität zu Kiel / Книга С меки корици
common.buy 27.29 € 53.37 лв
ALLENDE Y EL MUSEO DEL SUICIDIO DORFMAN / Книга С меки корици
common.buy 28.53 € 55.80 лв
Innover avec les acteurs du monde rural Hocdé / Книга С меки корици
common.buy 32.93 € 64.41 лв
Alí i Ramboline VALENTI GUBIANAS / Книга С твърди корици
common.buy 15.89 € 31.08 лв
La correspondencia de Benito Arias Montano con el presidente de Indias Juan de Ovando Baldomero Macías Rosendo / Книга С меки корици
common.buy 26.51 € 51.85 лв
Grundfragen der Anstiftung. Marios Nikolidakis / Книга С меки корици
common.buy 78.29 € 153.13 лв
Wie der König seinen Feind verlor Jorge Bucay / Книга С твърди корици
common.buy 13.87 € 27.13 лв
Gormenghast. Band 2 Mervyn Peake / Книга С твърди корици
common.buy 20.71 € 40.50 лв
Herrschaftsorganisation und Herrschaftspraxis im anglonormannischen Reich unter Wilhelm I. Joachim von Meien / Книга С меки корици
common.buy 17.14 € 33.51 лв
Finale in Sudafrika Stephanie Howe / Книга С меки корици
common.buy 19.05 € 37.26 лв
2984 Utta Kaiser-Plessow / Книга С меки корици
common.buy 11.59 € 22.68 лв
Zahlen fur ein erfolgreiches Business Grigori Grabovoi / Книга С меки корици
common.buy 28.37 € 55.49 лв
Vaillants Soldats Desplantes-F / Книга С меки корици
common.buy 19.36 € 37.87 лв
Poeta En Nueva York Federico García Lorca / Книга С меки корици
common.buy 11.23 € 21.97 лв
Unas tardes con Shakespeare Praz / Книга С меки корици
common.buy 23.66 € 46.28 лв
Будапэшт Kolozsvári Ildikó / Книга Лист
common.buy 9.37 € 18.32 лв
99 Sayfada Tüp Bebek Bülent Gülekli / Книга С меки корици
common.buy 8.69 € 17.01 лв

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 Книгата ще пристигне на адреса на получателя

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

Pharmacology of Ionic Channel Function: Activators and Inhibitors M. Endo / Книга С твърди корици
common.buy 542.29 € 1 060.64 лв
Heating versus Cooling in Galaxies and Clusters of Galaxies H. Böhringer / Книга С твърди корици
common.buy 54.47 € 106.54 лв
Case-Based Reasoning Research and Development Lorraine McGinty / Книга С меки корици
common.buy 54.47 € 106.54 лв
Conquest Andrea Smith / Книга С меки корици
common.buy 26.51 € 51.85 лв
Poets and Dreamers; Studies and Translations from the Irish Lady Gregory / Книга С твърди корици
common.buy 33.60 € 65.72 лв
complete work of Rembrandt Wilhelm Von Bode / Книга С меки корици
common.buy 30.24 € 59.14 лв
The Servant's Prosperity: The True Purpose of Prosperity Timothy Campbell / Книга С меки корици
common.buy 10.35 € 20.25 лв
Pippa and Pop Level 1 Activity Book British English Colin Sage / Книга С меки корици
common.buy 9.83 € 19.23 лв
Montreal at War, 1914-1918 Terry Copp / Книга С меки корици
common.buy 30.86 € 60.36 лв
Echoes and Ashes Terrell Washington Anansi / Книга С меки корици
common.buy 8.54 € 16.70 лв
How To Love Yourself 100% Htebooks / Книга С меки корици
common.buy 8.54 € 16.70 лв
Info Buzz: Early Britons: Vikings Stephen White-Thomson / Книга С меки корици
common.buy 10.82 € 21.16 лв
Graffiti and Street Art Konstantinos Avramidis / Книга С меки корици
common.buy 70.11 € 137.13 лв
If I Was Your Hamster Angelia Smith / Книга С меки корици
common.buy 10.14 € 19.84 лв
Little Owl's Snow Divya Srinivasan / Книга С твърди корици
common.buy 15.06 € 29.46 лв
In the Ravine & Other Stories Anton Chekhov / Книга С твърди корици
common.buy 12.58 € 24.60 лв
Sanctus Illuminatus, 2019 Brochure of Membership Carlos Antonio De Bourbon-Montenegro / Книга С меки корици
common.buy 44.01 € 86.08 лв
Where's Grandma's Keys Nadine Burr / Книга С твърди корици
common.buy 27.29 € 53.37 лв
YOUNG STARS 2ºPRIMARIA. WORKBOOK +CD 2019 H.Q. Mitchell / Книга С меки корици
common.buy 26.72 € 52.25 лв
Leave It to Abigail! Elizabeth Baddeley / Книга С твърди корици
common.buy 18.17 € 35.54 лв
Real Deal Faisal Susiwala / Книга С меки корици
common.buy 15.43 € 30.17 лв
Man of Honour Tyrone Heydenrych / Книга С меки корици
common.buy 19.26 € 37.67 лв
Be a Better Manager in a Week: Teach Yourself Rus Slater / Книга С меки корици
common.buy 17.86 € 34.93 лв
Hunting and Fishing in a Kammu Village Damrong Tayanin / Книга С твърди корици
common.buy 37.85 € 74.03 лв

Вход

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

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

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

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

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