Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

RUNTIME VERIFICATION : a hands-on approach in java, Christian Colombo , Gordon J. Pace



Варианты приобретения
Цена: 7652р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 31 мар 2025
Ориентировочная дата поставки: Апрель- начало Мая
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Christian Colombo , Gordon J. Pace   (Кристиан Коломбо)
Название:  RUNTIME VERIFICATION : a hands-on approach in java
Перевод названия: Кристиан Коломбо: Верификация в рабочее время. Практический подход в Java
ISBN: 9783031092664
Издательство: Springer
Классификация:
ISBN-10: 303109266X
Обложка/Формат: Paperback
Страницы: 205
Вес: 0.346 кг.
Дата издания: 13.07.2022
Язык: English
Издание: 1st ed. 2022
Иллюстрации: 7 illustrations, color; 6 illustrations, black and white; xii, 205 p. 13 illus., 7 illus. in color.
Размер: 155 x 234 x 15
Читательская аудитория: Professional & vocational
Подзаголовок: A hands-on approach in java
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This book provides a hands-on introduction to runtime verification which guides the reader from zero to sufficient practical knowledge required to consider and apply it in industry.


Formal Approaches to Software Testing and Runtime Verification

Автор: Klaus Havelund; Manuel N?nez; Grigore Rosu; Burkha
Название: Formal Approaches to Software Testing and Runtime Verification
ISBN: 3540496998 ISBN-13(EAN): 9783540496991
Издательство: Springer
Рейтинг:
Цена: 10713 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Formal Verification of Floating-Point Hardware Design

Автор: David M. Russinoff
Название: Formal Verification of Floating-Point Hardware Design
ISBN: 3030070484 ISBN-13(EAN): 9783030070489
Издательство: Springer
Рейтинг:
Цена: 13009 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design advances a verification methodology based on a unified theory of register-transfer logic and floating-point arithmetic that has been developed and applied to the formal verification of commercial floating-point units over the course of more than two decades, during which the author was employed by several major microprocessor design companies. The book consists of five parts, the first two of which present a rigorous exposition of the general theory based on the first principles of arithmetic. Part I covers bit vectors and the bit manipulation primitives, integer and fixed-point encodings, and bit-wise logical operations. Part II addresses the properties of floating-point numbers, the formats in which they are encoded as bit vectors, and the various modes of floating-point rounding. In Part III, the theory is extended to the analysis of several algorithms and optimization techniques that are commonly used in commercial implementations of elementary arithmetic operations. As a basis for the formal verification of such implementations, Part IV contains high-level specifications of correctness of the basic arithmetic instructions of several major industry-standard floating-point architectures, including all details pertaining to the handling of exceptional conditions. Part V illustrates the methodology, applying the preceding theory to the comprehensive verification of a state-of-the-art commercial floating-point unit. All of these results have been formalized in the logic of the ACL2 theorem prover and mechanically checked to ensure their correctness. They are presented here, however, in simple conventional mathematical notation. The book presupposes no familiarity with ACL2, logic design, or any mathematics beyond basic high school algebra. It will be of interest to verification engineers as well as arithmetic circuit designers who appreciate the value of a rigorous approach to their art, and is suitable as a graduate text in computer arithmetic.

Runtime Verification: 20th International Conference, RV 2020, Los Angeles, Ca, Usa, October 6-9, 2020, Proceedings

Автор: Deshmukh Jyotirmoy, Ničkovic Dejan
Название: Runtime Verification: 20th International Conference, RV 2020, Los Angeles, Ca, Usa, October 6-9, 2020, Proceedings
ISBN: 3030605078 ISBN-13(EAN): 9783030605070
Издательство: Springer
Цена: 7652 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, held in Los Angeles, CA, USA, in October 2020.

Runtime Verification: 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings

Автор: Feng Lu, Fisman Dana
Название: Runtime Verification: 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings
ISBN: 3030884937 ISBN-13(EAN): 9783030884932
Издательство: Springer
Рейтинг:
Цена: 11478 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 21st International Conference on Runtime Verification, RV 2021, held virtually during October 11-14, 2021.The 11 regular papers and 7 short/tool/benchmark papers presented in this book were carefully reviewed and selected from 40 submissions.

Runtime Verification

Автор: Falcone
Название: Runtime Verification
ISBN: 3319469819 ISBN-13(EAN): 9783319469812
Издательство: Springer
Рейтинг:
Цена: 11327 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The 18 revised full papers presented together with 4 short papers, 3 tool papers, 2 tool demonstration papers, and 5 tutorials, were carefully reviewed and selected from 72 submissions.The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions.

Runtime Verification

Автор: Shuvendu Lahiri; Giles Reger
Название: Runtime Verification
ISBN: 3319675303 ISBN-13(EAN): 9783319675305
Издательство: Springer
Рейтинг:
Цена: 10713 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Stream Runtime Monitoring on UAS.- Probabilistic Black-Box Reachability Checking.- Combining Symbolic Runtime Enforcers for Cyber-Physical Systems.- Almost Event-Rate Independent Monitoring of Metric Dynamic Logic.- Annotation Guided Collection of Context-Sensitive Parallel Execution Profiles.- Signal Clustering using Temporal Logics.- Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs.- Witnessing Network Transformations.- Combining Model Checking and Runtime Verification for Safe Robotics.- Monitoring Hyperproperties.- TeLEx: Passive STL Learning Using Only Positive Examples.- From Model Checking to Runtime Verification and Back Verifying Policy Enforcers.- Hierarchical Non-Intrusive In-Situ Requirements Monitoring for Embedded Systems.- Monitoring Partially Synchronous Distributed Systems using SMT Solvers.- Runtime Detection of Temporal Memory Errors.- Control Dependencies in Interpretive Systems.- Monitoring Time Intervals.

Lectures on Runtime Verification

Название: Lectures on Runtime Verification
ISBN: 3319756311 ISBN-13(EAN): 9783319756318
Издательство: Springer
Рейтинг:
Цена: 9948 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

The idea of this volume originated from the need to have a book for students to support their training with several tutorials on different aspects of RV. The volume has been organized into seven chapters and the topics covered include an introduction on runtime verification, dynamic analysis of concurrency errors, monitoring events that carry data, runtime error reaction and prevention, monitoring of cyber-physical systems, runtime verification for decentralized and distributed systems and an industrial application of runtime verification techniques in financial transaction systems.

Runtime Verification

Автор: Christian Colombo; Martin Leucker
Название: Runtime Verification
ISBN: 3030037681 ISBN-13(EAN): 9783030037680
Издательство: Springer
Рейтинг:
Цена: 11478 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 18th International Conference on Runtime Verification, RV 2018, held in Limassol, Cyprus, in November 2018.The 21 full papers presented together with 3 short papers and 3 tool papers were carefully reviewed and selected from 49 submissions.The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification.Chapter “Hardware-based Runtime Verification with Embedded Tracing Units and Stream Processing” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Runtime Verification

Автор: Shaz Qadeer; Serdar Tasiran
Название: Runtime Verification
ISBN: 3642356311 ISBN-13(EAN): 9783642356315
Издательство: Springer
Рейтинг:
Цена: 7652 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Multimedia Forensics and Counter-Forensics.- Blind Median Filtering Detection Using Statistics in Difference Domain.- Robustness of Color Interpolation Identification against Anti-forensic Operations.- Steganalysis.- Steganalysis of LSB Replacement Using Parity-Aware Features.- Statistical Detection of LSB Matching Using Hypothesis Testing Theory.- Textural Features for Steganalysis.- JPEG-Compatibility Steganalysis Using Block-Histogram of Recompression Artifacts.- Data Hiding in Unusual Content Hiding a Second Appearance in a Physical Relief Surface.- Blind Robust Watermarking Mechanism Based on Maxima Curvature of 3D Motion Data.- Steganography A Game-Theoretic Approach to Content-Adaptive Steganography.- Key-Efficient Steganography.- Covert Channels Secret Agent Radio: Covert Communication through Dirty Constellations.- Anonymity and Privacy Lower Bounds for Private Broadcast Encryption.- The Dangers of Composing Anonymous Channels.- Watermarking A New Measure of Watermarking Security Applied on QIM.- Non-Integer Expansion Embedding for Prediction-Based Reversible Watermarking.- Walsh-Hadamard Transform in the Homomorphic Encrypted Domain and Its Application in Image Watermarking.- Fingerprinting Asymptotic Fingerprinting Capacity in the Combined Digit Model.- Bias Equalizer for Binary Probabilistic Fingerprinting Codes.

Runtime Verification

Автор: Ezio Bartocci; Rupak Majumdar
Название: Runtime Verification
ISBN: 3319238191 ISBN-13(EAN): 9783319238197
Издательство: Springer
Рейтинг:
Цена: 8572 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The 15 revised full papers presented together with 4 short papers, 2 tool papers, 4 tutorials, 3 invited talks, and 2 software competition papers were carefully reviewed and selected from 45 submissions. The discussion of the conference centers around two main aspects.

Runtime Verification

Автор: Axel Legay; Saddek Bensalem
Название: Runtime Verification
ISBN: 3642407862 ISBN-13(EAN): 9783642407864
Издательство: Springer
Рейтинг:
Цена: 7652 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013. The 24 revised full papers presented together with 3 invited papers, 2 tool papers, and 6 tutorials were carefully reviewed and selected from 58 submissions.

Runtime Verification

Автор: Saddek Bensalem; Doron A. Peled
Название: Runtime Verification
ISBN: 3642046932 ISBN-13(EAN): 9783642046933
Издательство: Springer
Рейтинг:
Цена: 10713 р.
Наличие на складе: Есть у поставщика Поставка под заказ.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия