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č PPL 99 Kč Zásilkovna 54 Kč
phone Kontakt phoneJak nakupovat

Computer Aided Verification

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Computer Aided Verification Madhusudan Parthasarathy
Libristo kód: 01661539
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, června 2012
This book constitutes the refereed proceedings of the 24th International Conference on Computer Aide... Celý popis
? points 168 b
1 681 Kč
Skladem u dodavatele v malém množství Odesíláme za 12-17 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

TOP
Soul Plan Blue Marsden / Brožovaná
common.buy 418 Kč
TOP
Handbook Markus Sesko / Brožovaná
common.buy 910 Kč
TOP Připravujeme
History of the Second World War B H Liddell Hart / Brožovaná
common.buy 615 Kč
Gesse wird deheim Svetlana Handschuh / Brožovaná
common.buy 352 Kč
Blanche-Neige doit mourir Nele Neuhaus / Brožovaná
common.buy 366 Kč
Das Bevölkerungspotential der Sowjetunion. Ernst Eisendrath / Brožovaná
common.buy 550 Kč
An Introduction to Structural Optimization Peter W. Christensen / Brožovaná
common.buy 1 830 Kč
Enserfment Russian Peasant R. E. F. Smith / Brožovaná
common.buy 1 257 Kč
Hände weg von Mississippi Cornelia Funke / Pevná
common.buy 324 Kč
Why and How Addie Chisholm / Brožovaná
common.buy 673 Kč
Letters of Two Brides Honoré de Balzac / Brožovaná
common.buy 829 Kč
Kennzeichnung in der Apotheke Claudia Brüchert / Brožovaná
common.buy 945 Kč
Extending jQuery Keith Wood / Brožovaná
common.buy 1 384 Kč

This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in topical sections on automata and synthesis, inductive inference and termination, abstraction, concurrency and software verification, biology and probabilistic systems, embedded and control systems, SAT/SMT solving and SMT-based verification, timed and hybrid systems, hardware verification, security, verification and synthesis, and tool demonstration.

Informace o knize

Plný název Computer Aided Verification
Autor Madhusudan Parthasarathy, Sanjit A. Seshia
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2012
Počet stran 789
EAN 9783642314230
ISBN 3642314236
Libristo kód 01661539
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1200
Rozměry 155 x 235 x 44

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 > Počítačové programování/softwarové inženýrství > Softwarové inženýrství > Testování a verifikace softwaru
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 > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Počítačový hardware
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