phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 74 Kč Zásilkovna 49 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Symbolic Simulation Methods for Industrial Formal Verification

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Symbolic Simulation Methods for Industrial Formal Verification Robert B. Jones
Libristo kód: 06796344
Nakladatelství Springer-Verlag New York Inc., června 2002
This volume contains two distinct, but related, approaches to the verification problem, both based o... Celý popis
? points 304 b
3 037 Kč včetně DPH
Skladem u dodavatele v malém množství Odesíláme za 13-16 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Zawody. Poznaję świat. Karty obrazkowe. Kapitan Nauka wyd. 2 Opracowanie zbiorowe / Pevná
common.buy 117 Kč
Reading French Psychoanalysis Dana Birksted-Breen / Pevná
common.buy 7 248 Kč
HAPM Workmanship Checklists Construction Audit Ltd. / Brožovaná
common.buy 8 080 Kč
Fan's View of the Super Bowl (R) James E Britton / Brožovaná
common.buy 327 Kč
Notepad Stories Usha Chandrasekharan / Pevná
common.buy 410 Kč
Dict. Genealogique Des Familles Canadiennes. 7 (Ed.1871-1890) Cyprien Tanguay / Brožovaná
common.buy 1 149 Kč
Change Dylan Anders Porter / Brožovaná
common.buy 391 Kč
Kuki Book One - The End Lumix De Luminous / Brožovaná
common.buy 569 Kč
Das Bund-Länder-Programm "Soziale Stadt" Thomas Belatschek / Brožovaná
common.buy 1 239 Kč
Delaunay Tessellation Field Estimator Willem Schaap / Brožovaná
common.buy 2 194 Kč
Magnetic Fields of Celestial Bodies Ye Shi-hui / Brožovaná
common.buy 3 037 Kč
Beitrage zur Angewandten Wirtschaftsforschung Hans J. Ramser / Brožovaná
common.buy 2 220 Kč
Tourism, Travel, and Blogging Azariah / Pevná
common.buy 5 306 Kč
Are You a Ten? The Ten Characteristics of a Servant Leader Barbara Baggerly-Hinojosa / Brožovaná
common.buy 437 Kč
Neuronale Muster- und Objekterkennung Rosemarie Velik / Brožovaná
common.buy 1 981 Kč
Search for Grizzly One Don H Meredith / Brožovaná
common.buy 288 Kč

This volume contains two distinct, but related, approaches to the verification problem, both based on symbolic simulation. It describes new ideas that enable the use of formal methods, specifically symbolic simulation, in validating commercial hardware designs of remarkable complexity.§

Informace o knize

Plný název Symbolic Simulation Methods for Industrial Formal Verification
Autor Robert B. Jones
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2002
Počet stran 151
EAN 9781461353959
ISBN 1461353955
Libristo kód 06796344
Nakladatelství Springer-Verlag New York Inc.
Váha 272
Rozměry 155 x 235 x 10

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Elektronika: obvody a komponenty
Technologie, strojírenství, zemědělství > Energetické technologie a inženýrství > Elektrotechnika
Výpočetní a informační technologie > Grafické a digitální mediální aplikace > Počítačem podporovaný design (CAD)
Výpočetní a informační technologie > Informatika > Umělá inteligence
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

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