Hardware and Software: Verification and Testing, Ofer Strichman; Rachel Tzoref-Brill

Автор: Educational Testing Service
Название: Official TOEFL Ibt(r) Tests Volume 1, 2nd Edition+DVD-ROM
ISBN: 0071848444 ISBN-13(EAN): 9780071848442
Издательство: McGraw-Hill
Рейтинг:
Цена: 30270.00 T
Наличие на складе: Невозможна поставка.
Описание: Official TOEFL iBT(R) Tests Volume 1 contains five actual retired TOEFL(R) test forms with authentic TOEFL(R) reading, listening, speaking, and writing questions, now also on DVD-ROM in interactive, computerized format.

Автор: Roderick Bloem; Eli Arbel
Название: Hardware and Software: Verification and Testing
ISBN: 3319490516 ISBN-13(EAN): 9783319490519
Издательство: Springer
Рейтинг:
Цена: 46590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016.

Автор: Jean-Michel Berg?; Oz Levia; Jacques Rouillard
Название: Hardware/Software Co-Design and Co-Verification
ISBN: 1441951598 ISBN-13(EAN): 9781441951595
Издательство: Springer
Рейтинг:
Цена: 191550.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Educational Testing Service
Название: Official Guide to the TOEFL Test With CD-ROM, 4th Edition
ISBN: 0071766588 ISBN-13(EAN): 9780071766586
Издательство: McGraw-Hill
Рейтинг:
Цена: 30500.00 T
Наличие на складе: Невозможна поставка.
Описание:

The one and only bestselling official guide to the TOEFL, from the makers of the test Now expanded with a third actual TOEFL exam

This "Official Guide to the TOEFL Test" is the best, most reliable guide to the test that is used around the world to assess foreign applicants to U.S. and Canadian universities for English proficiency. It includes real TOEFL questions for practice, as well as explanations of every section of the test and information on what is expected for every speaking and writing task. You will learn how to construct a good answer and how to integrate speaking, listening, and writing skills to demonstrate college-level English proficiency. The accompanying CD-ROM provides three authentic TOEFL iBT practice tests just like the one you will encounter on test day. Inside you'll find: 600 real TOEFL questions from the test-makers A CD-ROM with 3 authentic TOEFL iBT practice tests Strategies for success

Автор: Karen Yorav
Название: Hardware and Software: Verification and Testing
ISBN: 3540779647 ISBN-13(EAN): 9783540779643
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Valeria Bertacco; Axel Legay
Название: Hardware and Software: Verification and Testing
ISBN: 3319030760 ISBN-13(EAN): 9783319030760
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Hana Chockler; Alan J. Hu
Название: Hardware and Software: Verification and Testing
ISBN: 3642017010 ISBN-13(EAN): 9783642017018
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Nir Piterman
Название: Hardware and Software: Verification and Testing
ISBN: 3319262866 ISBN-13(EAN): 9783319262864
Издательство: Springer
Рейтинг:
Цена: 44720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 42860.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Eran Yahav
Название: Hardware and Software: Verification and Testing
ISBN: 3319133373 ISBN-13(EAN): 9783319133379
Издательство: Springer
Рейтинг:
Цена: 52170.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Jean-Michel Berg?; Oz Levia; Jacques Rouillard
Название: Hardware/Software Co-Design and Co-Verification
ISBN: 0792396898 ISBN-13(EAN): 9780792396895
Издательство: Springer
Рейтинг:
Цена: 191560.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Klaus Havelund; Manuel N?nez; Grigore Rosu; Burkha
Название: Formal Approaches to Software Testing and Runtime Verification
ISBN: 3540496998 ISBN-13(EAN): 9783540496991
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing, FATES 2006, and on Runtime Verification, RV 2006, held within the scope of FLoC 2006, the Federated Logic Conference in Seattle, WA, USA in August 2006.