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

Computer Aided Verification

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Computer Aided Verification Ed Brinksma
Libristo kód: 01564506
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, července 2002
This book constitutes the refereed proceedings of the 14th International Conference on Computer Aide... 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

TOP Připravujeme
Pán prstenů Návrat krále John Ronald Reuel Tolkien / Pevná
common.buy 578 Kč
Approximate Distributions of Order Statistics Rolf-Dieter Reiss / Pevná
common.buy 2 255 Kč
Abenteuer des schwarzen Gerard 2 Karl May / Pevná
common.buy 674 Kč
Under the Gaslight Augustin Daly / Brožovaná
common.buy 481 Kč
Introduction to Logic and Theory of Knowledge Edmund Husserl / Brožovaná
common.buy 8 210 Kč
Biomedical Institutions, Biomedical Funding, and Public Policy H. Hugh Fudenberg / Brožovaná
common.buy 1 540 Kč
Cocktails Manuela Eder / Pevná
common.buy 177 Kč
Arab Business Yearbook 1986 raham & Trotman Ltd / Pevná
common.buy 4 671 Kč

This book constitutes the refereed proceedings of the 14th International Conference on Computer Aided Verification, CAV 2002, held in Copenhagen, Denmark in July 2002. The 35 revised full papers presented together with five invited contributions and 11 tool presentations were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections in symbolic model checking, abstraction/refinement and model checking, compositional/structural verification, timing analysis, SAT based methods, infinite state model checking, extended model checking, code verification, regular model checking and acceleration, and model reduction.

Informace o knize

Plný název Computer Aided Verification
Autor Ed Brinksma, Kim G. Larsen
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2002
Počet stran 362
EAN 9783540439974
ISBN 3540439978
Libristo kód 01564506
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 2010
Rozměry 155 x 233 x 36

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
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é 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 > 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

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