Lectures on Runtime Verification: Introductory and Advanced Topics (Programming and Software Engineering),Used

Name: Ergodebooks Lectures on Runtime Verification: Introductory and Advanced Topics (Programming and Software Engineering),Used - Lectures on Runtime Verification: Introductory and Advanced Topics (Programming and Software Engineering),Used
Brand: Ergodebooks
SKU: 46699100111093
Price: 91.43 USD
Availability: InStock

4.5 (1,234)

Sold 100+ last 30 days

20% off first order

$91.43

Quantity

Color

Black

Quantity

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 c

Exclusive deal available

Ergodebooks

4.4 (377)

Product description loading

This is the product description text that will appear here.

Lectures on Runtime Verification: Introductory and Advanced Topics (Programming and Software Engineering),Used

Highlights

Description

Specifications

Delivery & Returns

Ergodebooks

You might also like

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 2628, 2009, Selected Papers (Lecture Notes in,Used

Distributed Systems: Methods and Tools for Specification. An Advanced Course (Lecture Notes in Computer Science, 190)

Pattern Recognition, Machine Intelligence and Biometrics,Used

A Roadmap for Formal Property Verification,Used

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 2023, 2021, Proceedings, Part I (Lect,Used

Debugging at the Electronic System Level,Used

Architecting Dependable Systems IV (Lecture Notes in Computer Science, 4615),Used

Wettbewerbsvorteile durch Online Marketing: Die strategischen Perspektiven elektronischer Mrkte (German Edition),Used

Scheduling in Distributed Computing Systems: Analysis, Design and Models,Used

Informatics in Control, Automation and Robotics I,Used

Design Automation of CyberPhysical Systems,Used

Software ProductFamily Engineering,Used

Vector Analysis (Undergraduate Texts in Mathematics),New

Ubiquitous Knowledge Discovery: Challenges, Techniques, Applications (Lecture Notes in Computer Science, 6202),Used

Information Security: 12th International Conference, ISC 2009 Pisa, Italy, September 79, 2009 Proceedings (Lecture Notes in Com,Used

Methods, Models and Tools for Fault Tolerance (Lecture Notes in Computer Science, 5454),Used

Contemporary Empirical Methods in Software Engineering,Used

Markov Decision Processes with Their Applications (Advances in Mechanics and Mathematics, 14),New

Modelling, Simulation and Software Concepts for ScientificTechnological Problems (Lecture Notes in Applied and Computational Me,Used

Managed Software Evolution,Used

Transactions on Petri Nets and Other Models of Concurrency III (Lecture Notes in Computer Science, 5800),Used

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 2023, 2021, Proceedings, Part II (Lec,Used

Finite Mathematics and Applied Calculus (with InfoTrac),Used

Open Verification Methodology Cookbook,New

Transactions on Edutainment II (Lecture Notes in Computer Science, 5660),Used

Software Engineering Research, Management and Applications 2012 (Studies in Computational Intelligence, 430),Used

Research Challenges in Modeling and Simulation for Engineering Complex Systems (Simulation Foundations, Methods and Applications,Used

Kapital und Produktion (Meilensteine der Nationalkonomie) (German Edition),Used

Advances in Software Engineering: International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held,Used

Cyber Security: Critical Infrastructure Protection (Computational Methods in Applied Sciences, 56),Used

Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 1516, 2019, Proceedings (Theoretical Com,Used

Balancing Agility and Formalism in Software Engineering: Second IFIP TC 2 Central and East European Conference on Software Engin,Used

Functional Analytic Methods for Evolution Equations (Lecture Notes in Mathematics, 1855),Used

Distributed Systems: Software Design and Implementation,Used

Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 2223, ,Used

Fundamental Approaches to Software Engineering: 17th International Conference, FASE 2014, Held as Part of the European Joint Con,Used

WorstCase Execution Time Aware Compilation Techniques for RealTime Systems (Embedded Systems),Used

The Geometry of Schemes (Graduate Texts in Mathematics, 197),New

DiscreteEvent Simulation: Modeling, Programming, and Analysis (Springer Series in Operations Research and Financial Engineering,New

RealTime Database Systems: Architecture and Techniques (The Springer International Series in Engineering and Computer Science, ,New

Smart Innovations in Engineering and Technology (Topics in Intelligent Engineering and Informatics, 15),Used

Transactions on Petri Nets and Other Models of Concurrency XIV (Lecture Notes in Computer Science, 11790),Used

Procrastination and Task Avoidance: Theory, Research, and Treatment (The Springer Series in Social Clinical Psychology),New

Data Mining and Applications in Genomics (Lecture Notes in Electrical Engineering, 25),Used

Logic Functions and Equations: Fundamentals and Applications using the XBOOLEMonitor,Used

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III by Tiziana Margaria

Embedded Software Verification and Debugging (Embedded Systems),Used

Fundamentals of Data Analytics: With a View to Machine Learning,Used

Architecting Dependable Systems III (Lecture Notes in Computer Science, 3549),Used

Safety and Security in Multiagent Systems: Research Results from 20042006 (Lecture Notes in Computer Science, 4324),Used

Optimization for Industrial Problems,Used

Proceedings of the 2012 International Conference on Information Technology and Software Engineering: Software Engineering & Digi,Used

The IMO Compendium: A Collection of Problems Suggested for The International Mathematical Olympiads: 19592009 Second Edition (P,New

A Generic FaultTolerant Architecture for RealTime Dependable Systems,Used

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence,New

Requirements Engineering (Applied Computing),New

On Concurrent Programming (Texts in Computer Science),New

A Philosophy of Software Design, 2nd Edition - Essential Insights for Developers

Enterprise Information Systems,Used

Advances in Computer, Communication, Control and Automation (Lecture Notes in Electrical Engineering, 121),New

Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and PascalXSC Programs (Springer Serie,Used

A Journey Towards Bioinspired Techniques in Software Engineering (Intelligent Systems Reference Library, 185),Used

Aspekte des Unendlichen: Eine kleine Erzhlung fr Nichtmathematiker (Die blaue Stunde der Informatik) (German Edition),Used

Fundamentals of IP and SoC Security: Design, Verification, and Debug,Used

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach,Used

Green in Software Engineering,Used

Formal Engineering for Industrial Software Development: Using the SOFL Method,Used

Throughput Optimization in Robotic Cells (International Series in Operations Research & Management Science, 101),New

Verilog: Frequently Asked Questions: Language, Applications and Extensions,New

Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering),Used

RealTime Database Systems: Architecture and Techniques (The Springer International Series in Engineering and Computer Science,

Journal on Data Semantics XV (Lecture Notes in Computer Science, 6720),Used

Introduction to Electronic Warfare (Artech House Radar Library (Hardcover)),New