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č PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 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 352 Kč
Skladem u dodavatele v malém množství Odesíláme za 13-18 dnů

30 dní na vrácení zboží

Zákazníci také koupili

The Autumn Stone Small Faces Audio Audio CD
common.buy 506 Kč
MARIA-MERCE MARÇAL. PETITS POEMES MARÇAL / Kniha Pevná
common.buy 386 Kč
Intelektuálové a masy John Carey / Kniha Brožovaná
common.buy 272 Kč
Pioneiras da ciencia en Galicia MANUEL REY PAN / Kniha Brožovaná
common.buy 648 Kč
Chiaroscuro. Interpretazione di un delitto Simone Carbone / Kniha Brožovaná
common.buy 497 Kč
L'oracle des échos oniriques Luna Ravenheart / Kniha Brožovaná
common.buy 748 Kč
Chants du cauchemar et de la nuit Ligotti / Kniha Brožovaná
common.buy 309 Kč
Christiana Albertina Präsidium der Christian-Albrechts-Universität zu Kiel / Kniha Brožovaná
common.buy 627 Kč
ALLENDE Y EL MUSEO DEL SUICIDIO DORFMAN / Kniha Brožovaná
common.buy 660 Kč
Innover avec les acteurs du monde rural Hocdé / Kniha Brožovaná
common.buy 762 Kč
Alí i Ramboline VALENTI GUBIANAS / Kniha Pevná
common.buy 364 Kč
La correspondencia de Benito Arias Montano con el presidente de Indias Juan de Ovando Baldomero Macías Rosendo / Kniha Brožovaná
common.buy 614 Kč
Grundfragen der Anstiftung. Marios Nikolidakis / Kniha Brožovaná
common.buy 1 803 Kč
Wie der König seinen Feind verlor Jorge Bucay / Kniha Pevná
common.buy 298 Kč
Gormenghast. Band 2 Mervyn Peake / Kniha Pevná
common.buy 442 Kč
Herrschaftsorganisation und Herrschaftspraxis im anglonormannischen Reich unter Wilhelm I. Joachim von Meien / Kniha Brožovaná
common.buy 369 Kč
Finale in Sudafrika Stephanie Howe / Kniha Brožovaná
common.buy 409 Kč
2984 Utta Kaiser-Plessow / Kniha Brožovaná
common.buy 249 Kč
Zahlen fur ein erfolgreiches Business Grigori Grabovoi / Kniha Brožovaná
common.buy 610 Kč
Vaillants Soldats Desplantes-F / Kniha Brožovaná
common.buy 445 Kč
Poeta En Nueva York Federico García Lorca / Kniha Brožovaná
common.buy 243 Kč
Unas tardes con Shakespeare Praz / Kniha Brožovaná
common.buy 547 Kč
Будапэшт Kolozsvári Ildikó / Kniha List
common.buy 214 Kč
99 Sayfada Tüp Bebek Bülent Gülekli / Kniha Brožovaná
common.buy 189 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č
Heating versus Cooling in Galaxies and Clusters of Galaxies H. Böhringer / Kniha Pevná
common.buy 1 182 Kč
Case-Based Reasoning Research and Development Lorraine McGinty / Kniha Brožovaná
common.buy 1 182 Kč
Conquest Andrea Smith / Kniha Brožovaná
common.buy 583 Kč
Poets and Dreamers; Studies and Translations from the Irish Lady Gregory / Kniha Pevná
common.buy 772 Kč
complete work of Rembrandt Wilhelm Von Bode / Kniha Brožovaná
common.buy 650 Kč
The Servant's Prosperity: The True Purpose of Prosperity Timothy Campbell / Kniha Brožovaná
common.buy 237 Kč
Pippa and Pop Level 1 Activity Book British English Colin Sage / Kniha Brožovaná
common.buy 225 Kč
Montreal at War, 1914-1918 Terry Copp / Kniha Brožovaná
common.buy 714 Kč
Echoes and Ashes Terrell Washington Anansi / Kniha Brožovaná
common.buy 196 Kč
How To Love Yourself 100% Htebooks / Kniha Brožovaná
common.buy 196 Kč
Info Buzz: Early Britons: Vikings Stephen White-Thomson / Kniha Brožovaná
common.buy 262 Kč
Graffiti and Street Art Konstantinos Avramidis / Kniha Brožovaná
common.buy 1 619 Kč
If I Was Your Hamster Angelia Smith / Kniha Brožovaná
common.buy 233 Kč
Little Owl's Snow Divya Srinivasan / Kniha Pevná
common.buy 319 Kč
In the Ravine & Other Stories Anton Chekhov / Kniha Pevná
common.buy 291 Kč
Sanctus Illuminatus, 2019 Brochure of Membership Carlos Antonio De Bourbon-Montenegro / Kniha Brožovaná
common.buy 1 012 Kč
Where's Grandma's Keys Nadine Burr / Kniha Pevná
common.buy 629 Kč
YOUNG STARS 2ºPRIMARIA. WORKBOOK +CD 2019 H.Q. Mitchell / Kniha Brožovaná
common.buy 619 Kč
Leave It to Abigail! Elizabeth Baddeley / Kniha Pevná
common.buy 393 Kč
Real Deal Faisal Susiwala / Kniha Brožovaná
common.buy 354 Kč
Man of Honour Tyrone Heydenrych / Kniha Brožovaná
common.buy 442 Kč
Be a Better Manager in a Week: Teach Yourself Rus Slater / Kniha Brožovaná
common.buy 414 Kč
Hunting and Fishing in a Kammu Village Damrong Tayanin / Kniha Pevná
common.buy 858 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?