Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Methods for Hardware Verification Marco Bernardo
Libristo kód: 01562083
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, máj 2006
This book presents 8 papers accompanying the lectures of leading researchers given at the 6th editio... Celý popis
? points 135 b
55.83 €
Skladom u dodávateľa v malom množstve Odosielame za 13-18 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Innover avec les acteurs du monde rural Hocdé / Kniha Brožovaná
common.buy 31.15 €
Alí i Ramboline VALENTI GUBIANAS / Kniha Pevná
common.buy 15.06 €
UNO SIEMPRE CAMBIA AL AMOR DE SU VIDA AMALIA ANDRADE ARANGO / Kniha Pevná
common.buy 15.87 €
Textos de derecho internacional público Bermejo García / Kniha Brožovaná
common.buy 32.56 €
The Autumn Stone Small Faces Audio Audio CD
common.buy 21.94 €
Chiaroscuro. Interpretazione di un delitto Simone Carbone / Kniha Brožovaná
common.buy 29.83 €
Top
L'oracle des échos oniriques Luna Ravenheart / Tlačovina Karty
common.buy 30.54 €
Chants du cauchemar et de la nuit Ligotti / Kniha Brožovaná
common.buy 12.43 €
Christiana Albertina Präsidium der Christian-Albrechts-Universität zu Kiel / Kniha Brožovaná
common.buy 25.68 €
ALLENDE Y EL MUSEO DEL SUICIDIO DORFMAN / Kniha Brožovaná
common.buy 27.20 €
Pioneiras da ciencia en Galicia MANUEL REY PAN / Kniha Brožovaná
common.buy 26.70 €
Wohin und Womit Michael Heßhaus / Kniha Pevná
common.buy 44.60 €
MARIA-MERCE MARÇAL. PETITS POEMES MARÇAL / Kniha Pevná
common.buy 15.97 €
Top
Kippkopp és Tipptopp Marék Veronika / Kniha Pevná
common.buy 14.66 €
Vaillants Soldats Desplantes-F / Kniha Brožovaná
common.buy 17.09 €
Ann'es D'Extermination. L'Allemagne Nazie Et Les Juifs (1939-1945)(Les) T2 Pierre-Emmanuel Dauzat / Kniha Brožovaná
common.buy 16.58 €
Poeta En Nueva York Federico García Lorca / Kniha Brožovaná
common.buy 11.83 €
Unas tardes con Shakespeare Praz / Kniha Brožovaná
common.buy 22.45 €
La correspondencia de Benito Arias Montano con el presidente de Indias Juan de Ovando Baldomero Macías Rosendo / Kniha Brožovaná
common.buy 25.28 €
Vuosikertomus Werner Aspenström / Kniha Brožovaná
common.buy 26.29 €
99 Sayfada Tüp Bebek Bülent Gülekli / Kniha Brožovaná
common.buy 8.18 €
Simulation de la collaboration Homme - Machine Mustapha Belfahli / Kniha Brožovaná
common.buy 32.06 €
(2 ED.) MONTE PERDIDO Y GAVARNIE - MAPAS PIRENAIC Lopez Calleja / Kniha Brožovaná
common.buy 17.39 €
Épîtres Maïmonide / Kniha Brožovaná
common.buy 15.57 €

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Formal Methods for Hardware Verification
Autor Marco Bernardo, Alessandro Cimatti
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2006
Počet strán 244
EAN 9783540343042
ISBN 3540343040
Libristo kód 01562083
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 800
Rozmery 155 x 235 x 17

Kategórie

Výpočtové a informačné technológie > Informatika > Umelá inteligencia > Expertné systémy/systémy založené na vedomostiach
Výpočtové a informačné technológie > Počítačový hardvér > Sieťové zariadenia
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Systémová analýza a systémový dizajn
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Pharmacology of Ionic Channel Function: Activators and Inhibitors M. Endo / Kniha Pevná
common.buy 513.77 €
Case-Based Reasoning Research and Development Lorraine McGinty / Kniha Brožovaná
common.buy 51.68 €
Heating versus Cooling in Galaxies and Clusters of Galaxies H. Böhringer / Kniha Pevná
common.buy 51.68 €
Little Owl's Snow Divya Srinivasan / Kniha Pevná
common.buy 14.05 €
Sanctus Illuminatus, 2019 Brochure of Membership Carlos Antonio De Bourbon-Montenegro / Kniha Brožovaná
common.buy 41.77 €
If I Was Your Hamster Angelia Smith / Kniha Brožovaná
common.buy 9.60 €
Graffiti and Street Art Konstantinos Avramidis / Kniha Brožovaná
common.buy 69.89 €
How To Love Yourself 100% Htebooks / Kniha Brožovaná
common.buy 8.08 €
Echoes and Ashes Terrell Washington Anansi / Kniha Brožovaná
common.buy 8.08 €
Sentiments of a Long Stemmed Rose: Poetic Reflections from Scenes of My Life Betty W Johnson / Kniha Brožovaná
common.buy 14.96 €
Comparative Effectiveness of Smoking Cessation Treatments for Patients With Depression: A Systematic Review and Meta-analysis of the Evidence U S Department of Veterans Affairs / Kniha Brožovaná
common.buy 18.30 €
Amderesta The 4th Republic #3. The Colonization Daniel Zazitski / Kniha Brožovaná
common.buy 14.05 €
Japanese Dolls: The Fascinating World of Ningyo Alan Scott Pate / Kniha Pevná
common.buy 59.47 €
complete work of Rembrandt Wilhelm Von Bode / Kniha Brožovaná
common.buy 28.52 €
Pripravujeme
Slavery and Politics: Brazil and Cuba, 1790-1850 Maarcia Regina Berbel / Kniha Pevná
common.buy 104.69 €
Poetry and Psychoanalysis David Shaddock / Kniha Brožovaná
common.buy 53.00 €
In the Ravine & Other Stories Anton Chekhov / Kniha Pevná
common.buy 12.03 €
His Royal Highness the Comte de Paris William Cox / Kniha Brožovaná
common.buy 11.72 €
YOUNG STARS 2ºPRIMARIA. WORKBOOK +CD 2019 H.Q. Mitchell / Kniha Brožovaná
common.buy 22.14 €
Leave It to Abigail! Elizabeth Baddeley / Kniha Pevná
common.buy 17.59 €
Man of Honour Tyrone Heydenrych / Kniha Brožovaná
common.buy 18.30 €
Real Deal Faisal Susiwala / Kniha Brožovaná
common.buy 14.66 €
Where's Grandma's Keys Nadine Burr / Kniha Pevná
common.buy 25.99 €
Info Buzz: Early Britons: Vikings Stephen White-Thomson / Kniha Brožovaná
common.buy 10.41 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet