Correct Hardware Design and Verification Methods, Tiziana Margaria; Tom Melham

Автор: Bernhard Thalheim; Klaus-Dieter Schewe; Andreas Pr
Название: Correct Software in Web Applications and Web Services
ISBN: 3319347276 ISBN-13(EAN): 9783319347271
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems, web services, and web interoperability;

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

Автор: Manfred Broy; Stefan J?hnichen
Название: KORSO: Methods, Languages, and Tools for the Construction of Correct Software
ISBN: 3540605894 ISBN-13(EAN): 9783540605898
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Containing the final report of the work carried out in the project KORSO ("Korrekte Software"), the papers in this volume are organized into five sections on methods for correctness, languages, development systems and logical frameworks, tools, and case studies.

Автор: Roland Meyer; Andr? Platzer; Heike Wehrheim
Название: Correct System Design
ISBN: 3319235052 ISBN-13(EAN): 9783319235059
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is dedicated to Professor Ernst--Rudiger Olderog on the occasion of his 60th birthday. After a laudatio section that provides a brief overview of Ernst- Rudiger Olderog`s research, the book is comprised of five parts with scientific papers written by colleagues and collaborators of Professor Olderog.

Автор: Bernhard Thalheim; Klaus-Dieter Schewe; Andreas Pr
Название: Correct Software in Web Applications and Web Services
ISBN: 3319171119 ISBN-13(EAN): 9783319171111
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems, web services, and web interoperability;

Автор: Hon Li; David Probst
Название: Advances in Hardware Design and Verification
ISBN: 0412813300 ISBN-13(EAN): 9780412813306
Издательство: Springer
Рейтинг:
Цена: 26414.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: CHARM `97 is the ninth in a series of working conferences devoted to the development and use of formal techniques in digital hardware design and verification. This series is held in collaboration with IFIP WG 10.5. Previous meetings were held in Europe every other year.

Автор: 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.

Автор: 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.

Автор: 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.