Hardware/Software Co-Design and Co-Verification, Jean-Michel Berg?; Oz Levia; Jacques Rouillard
Автор: Hana Chockler; Alan J. Hu Название: Hardware and Software: Verification and Testing ISBN: 3642017010 ISBN-13(EAN): 9783642017018 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: After a rigorous review process, in which each paper received at least four independent reviews from the dist- guished Program Committee, we accepted 12 regular papers and 4 tools papers for presentation at the conference and inclusion in this volume.
Автор: Tiziana Margaria; Tom Melham Название: Correct Hardware Design and Verification Methods ISBN: 3540425411 ISBN-13(EAN): 9783540425410 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A collection of papers that offer topical sections on model checking, clocking issues, theorem proving with higher order logics, hardware compilation, tools, component verification, case studies, algorithm verification, and duration calculus.
Автор: Jean-Michel Berg?; Oz Levia; Jacques Rouillard Название: Hardware/Software Co-Design and Co-Verification ISBN: 0792396898 ISBN-13(EAN): 9780792396895 Издательство: Springer Рейтинг: Цена: 28734.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Co-Design is the set of emerging techniques which allows for the simultaneous design of Hardware and Software. Hardware/Software Co-Design and Co-Verification will help designers and researchers to understand these latest techniques in system design and as such will be of interest to all involved in embedded system design.
Автор: Eran Yahav Название: Hardware and Software: Verification and Testing ISBN: 3319133373 ISBN-13(EAN): 9783319133379 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014. The papers cover a wide range of topics in the sub-fields of testing and verification applicable to software, hardware, and complex hybrid systems.
Автор: Ofer Strichman; Rachel Tzoref-Brill Название: Hardware and Software: Verification and Testing ISBN: 3319703889 ISBN-13(EAN): 9783319703886 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 13th International Haifa Verification Conference, HVC 2017, held in Haifa, Israel in November 2017.The 13 revised full papers presented together with 4 poster and 5 tool demo papers were carefully reviewed and selected from 45 submissions.
Автор: Karen Yorav Название: Hardware and Software: Verification and Testing ISBN: 3540779647 ISBN-13(EAN): 9783540779643 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Nir Piterman Название: Hardware and Software: Verification and Testing ISBN: 3319262866 ISBN-13(EAN): 9783319262864 Издательство: Springer Рейтинг: Цена: 6708.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the11th International Haifa Verification Conference, HVC 2015, held in Haifa,Israel, in November 2015. The 17 revised full papers and 4 invited talks presentedwere carefully reviewed and selected from numerous submissions.
Автор: Armin Biere; Amir Nahir; Tanja Vos Название: Hardware and Software: Verification and Testing ISBN: 3642396100 ISBN-13(EAN): 9783642396106 Издательство: Springer Рейтинг: Цена: 6429.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions.
Автор: Roderick Bloem; Eli Arbel Название: Hardware and Software: Verification and Testing ISBN: 3319490516 ISBN-13(EAN): 9783319490519 Издательство: Springer Рейтинг: Цена: 6988.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016.
Автор: George J. Milne; Laurence Pierre Название: Correct Hardware Design and Verification Methods ISBN: 354056778X ISBN-13(EAN): 9783540567783 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Formal verification is emerging as a plausible alternative to simulation for the establishment of correct digital hardware designs. This volume contains research papers on the subject, presented at a conference on Correct Hardware Design Methods, held in Arles, France in May 1993.
Автор: Laurence Pierre; Thomas Kropf Название: Correct Hardware Design and Verification Methods ISBN: 3540665595 ISBN-13(EAN): 9783540665595 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The refereed proceedings of the 10th IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME `99). Areas covered include model checking, formal methods and industrial applications, and theorem proving and related approaches.
Автор: Valeria Bertacco; Axel Legay Название: Hardware and Software: Verification and Testing ISBN: 3319030760 ISBN-13(EAN): 9783319030760 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The papers are organized in topical sections on SAT and SMT-based verification, software testing, supporting dynamic verification, specification and coverage, abstraction and model presentation.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru