Автор: Chockler Название: Computer Aided Verification ISBN: 3319961446 ISBN-13(EAN): 9783319961446 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.
The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
Автор: Rupak Majumdar; Viktor Kun?ak Название: Computer Aided Verification ISBN: 3319633864 ISBN-13(EAN): 9783319633862 Издательство: Springer Рейтинг: Цена: 83850.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Data Driven Techniques.- Runtime Verication.- Cyber-Physical Systems.- Concurrency.- Analysis of Software and Hardware.- Foundations of Verification.- Distributed and Networked Systems.- Synthesis.- Decision Procedures and their Applications.- Software Analysis.
AI Verification.- Blockchain and Security.- Hardware Veri cation and Decision Procedures.- Hybrid and Dynamic Systems.
Автор: Silva Alexandra, Leino K. Rustan M. Название: Computer Aided Verification: 33rd International Conference, Cav 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I ISBN: 3030816842 ISBN-13(EAN): 9783030816841 Издательство: Springer Цена: 37260.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions.
Название: Computer Aided Verification - P2 ISBN: 3030255425 ISBN-13(EAN): 9783030255428 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The papers were organized in the following topical sections: Part I: automata and timed systems;
Автор: Daniel Kroening; Corina S. P?s?reanu Название: Computer Aided Verification ISBN: 3319216899 ISBN-13(EAN): 9783319216898 Издательство: Springer Рейтинг: Цена: 74530.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015. The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions.
Автор: Aarti Gupta; Sharad Malik Название: Computer Aided Verification ISBN: 3540705430 ISBN-13(EAN): 9783540705437 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, USA, in July 2008. This book features 33 revised full papers presented together with 14 tool papers and 2 invited papers and 4 invited tutorials.
Автор: Silva Alexandra, Leino K. Rustan M. Название: Computer Aided Verification: 33rd International Conference, Cav 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II ISBN: 3030816877 ISBN-13(EAN): 9783030816872 Издательство: Springer Цена: 37260.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions.
Автор: Armin Biere; Roderick Bloem Название: Computer Aided Verification ISBN: 3319088661 ISBN-13(EAN): 9783319088662 Издательство: Springer Рейтинг: Цена: 96900.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Daniel Kroening; Corina S. P?s?reanu Название: Computer Aided Verification ISBN: 3319216678 ISBN-13(EAN): 9783319216676 Издательство: Springer Рейтинг: Цена: 59630.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015. The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions.
Model Checking.- Software Verification.- Stochastic Systems.- Synthesis.
Автор: Shoham Название: Computer Aided Verification ISBN: 3031131843 ISBN-13(EAN): 9783031131844 Издательство: Springer Рейтинг: Цена: 37260.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
