Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, květen 2006
This book presents 8 papers accompanying the lectures of leading researchers given at the 6th editio... Celý popis
? points 135 b
1 349 Kč
Skladem u dodavatele v malém množství Odesíláme za 13-18 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Innover avec les acteurs du monde rural Hocdé / Kniha Brožovaná
common.buy 757 Kč
Alí i Ramboline VALENTI GUBIANAS / Kniha Pevná
common.buy 365 Kč
UNO SIEMPRE CAMBIA AL AMOR DE SU VIDA AMALIA ANDRADE ARANGO / Kniha Pevná
common.buy 444 Kč
Textos de derecho internacional público Bermejo García / Kniha Brožovaná
common.buy 791 Kč
The Autumn Stone Small Faces Audio Audio CD
common.buy 502 Kč
Chiaroscuro. Interpretazione di un delitto Simone Carbone / Kniha Brožovaná
common.buy 682 Kč
Top
L'oracle des échos oniriques Luna Ravenheart / Tiskovina Karty
common.buy 743 Kč
Chants du cauchemar et de la nuit Ligotti / Kniha Brožovaná
common.buy 304 Kč
Christiana Albertina Präsidium der Christian-Albrechts-Universität zu Kiel / Kniha Brožovaná
common.buy 625 Kč
ALLENDE Y EL MUSEO DEL SUICIDIO DORFMAN / Kniha Brožovaná
common.buy 661 Kč
Pioneiras da ciencia en Galicia MANUEL REY PAN / Kniha Brožovaná
common.buy 650 Kč
Wohin und Womit Michael Heßhaus / Kniha Pevná
common.buy 1 016 Kč
MARIA-MERCE MARÇAL. PETITS POEMES MARÇAL / Kniha Pevná
common.buy 386 Kč
Top
Kippkopp és Tipptopp Marék Veronika / Kniha Pevná
common.buy 353 Kč
Vaillants Soldats Desplantes-F / Kniha Brožovaná
common.buy 390 Kč
Ann'es D'Extermination. L'Allemagne Nazie Et Les Juifs (1939-1945)(Les) T2 Pierre-Emmanuel Dauzat / Kniha Brožovaná
common.buy 404 Kč
Poeta En Nueva York Federico García Lorca / Kniha Brožovaná
common.buy 289 Kč
Unas tardes con Shakespeare Praz / Kniha Brožovaná
common.buy 547 Kč
La correspondencia de Benito Arias Montano con el presidente de Indias Juan de Ovando Baldomero Macías Rosendo / Kniha Brožovaná
common.buy 615 Kč
Vuosikertomus Werner Aspenström / Kniha Brožovaná
common.buy 601 Kč
99 Sayfada Tüp Bebek Bülent Gülekli / Kniha Brožovaná
common.buy 189 Kč
Simulation de la collaboration Homme - Machine Mustapha Belfahli / Kniha Brožovaná
common.buy 732 Kč
(2 ED.) MONTE PERDIDO Y GAVARNIE - MAPAS PIRENAIC Lopez Calleja / Kniha Brožovaná
common.buy 424 Kč
Épîtres Maïmonide / Kniha Brožovaná
common.buy 382 Kč

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 pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Formal Methods for Hardware Verification
Autor Marco Bernardo, Alessandro Cimatti
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2006
Počet stran 244
EAN 9783540343042
ISBN 3540343040
Libristo kód 01562083
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 800
Rozměry 155 x 235 x 17

Kategorie

Výpočetní a informační technologie > Informatika > Umělá inteligence > Expertní systémy/systémy založené na znalostech
Výpočetní a informační technologie > Počítačový hardware > Síťová zařízení
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Systémová analýza a systémový design
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Pharmacology of Ionic Channel Function: Activators and Inhibitors M. Endo / Kniha Pevná
common.buy 11 758 Kč
Case-Based Reasoning Research and Development Lorraine McGinty / Kniha Brožovaná
common.buy 1 182 Kč
Heating versus Cooling in Galaxies and Clusters of Galaxies H. Böhringer / Kniha Pevná
common.buy 1 182 Kč
Little Owl's Snow Divya Srinivasan / Kniha Pevná
common.buy 319 Kč
Sanctus Illuminatus, 2019 Brochure of Membership Carlos Antonio De Bourbon-Montenegro / Kniha Brožovaná
common.buy 1 012 Kč
If I Was Your Hamster Angelia Smith / Kniha Brožovaná
common.buy 233 Kč
Graffiti and Street Art Konstantinos Avramidis / Kniha Brožovaná
common.buy 1 691 Kč
How To Love Yourself 100% Htebooks / Kniha Brožovaná
common.buy 196 Kč
Echoes and Ashes Terrell Washington Anansi / Kniha Brožovaná
common.buy 196 Kč
Sentiments of a Long Stemmed Rose: Poetic Reflections from Scenes of My Life Betty W Johnson / Kniha Brožovaná
common.buy 362 Kč
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 444 Kč
Amderesta The 4th Republic #3. The Colonization Daniel Zazitski / Kniha Brožovaná
common.buy 341 Kč
Japanese Dolls: The Fascinating World of Ningyo Alan Scott Pate / Kniha Pevná
common.buy 1 442 Kč
complete work of Rembrandt Wilhelm Von Bode / Kniha Brožovaná
common.buy 650 Kč
Připravujeme
Slavery and Politics: Brazil and Cuba, 1790-1850 Maarcia Regina Berbel / Kniha Pevná
common.buy 2 533 Kč
Poetry and Psychoanalysis David Shaddock / Kniha Brožovaná
common.buy 1 283 Kč
In the Ravine & Other Stories Anton Chekhov / Kniha Pevná
common.buy 291 Kč
His Royal Highness the Comte de Paris William Cox / Kniha Brožovaná
common.buy 267 Kč
YOUNG STARS 2ºPRIMARIA. WORKBOOK +CD 2019 H.Q. Mitchell / Kniha Brožovaná
common.buy 620 Kč
Leave It to Abigail! Elizabeth Baddeley / Kniha Pevná
common.buy 403 Kč
Man of Honour Tyrone Heydenrych / Kniha Brožovaná
common.buy 442 Kč
Real Deal Faisal Susiwala / Kniha Brožovaná
common.buy 354 Kč
Where's Grandma's Keys Nadine Burr / Kniha Pevná
common.buy 599 Kč
Info Buzz: Early Britons: Vikings Stephen White-Thomson / Kniha Brožovaná
common.buy 239 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?