Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Виж статуса на поръчката

Свържете се с нас

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer International Publishing AG
SKU: 9783319088662
Price: 105.19 EUR
Availability: InStock

26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

Автор: Armin Biere, Roderick Bloem

Език:

Корици: С меки корици

Издател: Springer International Publishing AG

Наличност: Външен склад

Изпращаме след 5-8 дни

105.19 € 205.74 лв

This book constitutes the proceedings of the 26th International Conference on Computer Aided Verific...

Информация за книгата

Автор

Armin Biere, Roderick Bloem

Език

Английски език

Корици

Книга - С меки корици

Издадена

2014

страници

877

EAN

9783319088662

ISBN

3319088661

Enbook ID

02775219

Издател

Springer International Publishing AG

Теглоt

1352

Размери

155 x 235 x 48

Пълно описание

This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.§§The 46 regular papers and 11 short papers presented in this volume were carefully reviewed and selected from a total of 175 regular and 54 short paper submissions. The contributions are organized in topical sections named: software verification; automata; model checking and testing; biology and hybrid systems; games and synthesis; concurrency; SMT and theorem proving; bounds and termination; and abstraction.