Computer Aided Verification

Autor Ganesh Gopalakrishnan

Computer Aided Verification - Ganesh Gopalakrishnan Nedostupné

Computer Aided Verification

Autor Ganesh Gopalakrishnan

0.0 z 5 hvězdiček 0 hodnocení čtenářů

Kniha ( měkká vazba )

    • Produkt je nedostupný.
E-shopové listy

Při zaslání zboží balíčkem

K nákupu nad 99 Kč dárek zdarma v hodnotě 19 Kč

E-shopové listy

Vždycky upřímná Jiřina Bohdalová

Při zaslání zboží balíčkem

K nákupu nad 699 Kč dárek zdarma v hodnotě 349 Kč

Vždycky upřímná Jiřina Bohdalová

This book constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011, held in Snowbird, UT, USA, in July 2011.The 35 revised full papers presented together with 20 tool papers were carefully reviewed and selected from 161 submissions. The papers are organized in topical sections on the… Přejít na celý popis

Ladislav Zibura / Všechny cesty, kam jsem vzal rodinu Ladislav Zibura cestuje s rodiči a manželkou do afrických savan i sumaterské džungle. S humorem sobě vlastním ukazuje, že někdy si člověk víc užije obyčejné pivo s tátou než setkání s tygrem. Více informací

K tomuto produktu zákazníci kupují

Popis Hodnocení 0.0 z 5 hvězdiček 0 Další knihy autora Vývoj ceny

Popis

This book constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011, held in Snowbird, UT, USA, in July 2011.The 35 revised full papers presented together with 20 tool papers were carefully reviewed and selected from 161 submissions. The papers are organized in topical sections on the following workshops: 4th International Workshop on Numerical Software Verification (NSV 2011), 10th International Workshop on Parallel and Distributed Methods in Verifications (PDMC 2011), 4th International Workshop on Exploiting Concurrency Efficiently and Correctly (EC2 2011), Frontiers in Analog Circuit Synthesis and Verification (FAC 2011), International Workshop on Satisfiability Modulo Theories, including SMTCOMP (SMT 2011), 18th International SPIN Workshop on Model Checking of Software (SPIN 2011), Formal Methods for Robotics and Automation (FM-R 2011), and Practical Synthesis for Concurrent Systems (PSY 2011).

Sdílet

kategorie
Knihy » Cizojazyčná literatura » English literature
Témata
Nakladatel
Springer Nature Switzerland
Rozměr
155 x 235 x 42
jazyk
angličtina
Vazba
měkká vazba
Hmotnost
1165 g
isbn
978-3-642-22109-5
Počet stran
784
Vydání
1
ean
9783642221095

Hodnocení a recenze čtenářů Nápověda

0.0 z 5 0 hodnocení čtenářů

0× 5 hvězdiček 0× 4 hvězdičky 0× 3 hvězdičky 0× 2 hvězdičky 0× 1 hvezdička

Přidejte své hodnocení knihy

Načíst další hodnocení

Zobrazit všechna hodnocení

Přidat hodnocení

Další knihy autora

Další knihy autora

Všechny knihy autora

Všechny knihy autora

Vývoj ceny

Vývoj ceny Nápověda

Získejte přehled o vývoji ceny za posledních 60 dní.

Maloobchodní cena Minimální prodejní cena: 0 Kč Nápověda

Články, které stojí za pozornost

Zobrazit blog

Články, které stojí za pozornost