Home

Explore

View Cart

Deals

Saved

Suggested searches

Plant-based protein powders
Vegan leather handbags
Bedroom decor
Waterproof jackets
Hoodies

Learn more about how we use your data to personalize your experience and ads. Recommendations are for informational purposes only.

Shulph Ink

Products

Products

Shulph Ink

Runtime Verification: A Hands-On Approach in Java

4.5 (1,234)

Sold 100+ last 30 days

20% off first order

$52.00$63.00

17% off

Color

Black

Quantity

Product description loading

Product description loading

This is the product description text that will appear here.

Shopping designed around you.

Start selling

For brands

For creators

Build your store

Information

Shop Pay

Help center

Social

X (Twitter)

Instagram

Legal

Terms of Service

Privacy Policy

Your Privacy Choices

Powered by

|

Start selling for free

Language

© Shopify Inc. 2026

Quantity

1

You might also like

17% off

Shulph Ink

Reinforcement Learning From Scratch: Understanding Current Approaches - with Examples in Java and Greenfoot

Rohith

Algorithms Simplified eBook

Building Java Programs A Back To Basics Approach 5th edition

GIFTSQUALITY LTD

Building Java Programs A Back To Basics Approach 5th edition

Java Foundations : Introduction to Program Design and Data Structures

St. John's University Queens Campus Bookstore

Java Foundations : Introduction to Program Design and Data Structures

Software Engineering A Practitioners Approach 9th Edition by Roger Pressman

GIFTSQUALITY LTD

Software Engineering A Practitioners Approach 9th Edition by Roger Pressman

Data Structures And Abstractions With Java 5Th Edition

GIFTSQUALITY LTD

Data Structures And Abstractions With Java 5Th Edition

23% off

Shulph Ink

Eco-Environmental Informatics

Maths Gear

The Code Book by Simon Singh (Signed Paperback)

(2)

38% off

Mometrix Test Preparation

Praxis Computer Science (5652) Secrets Study Guide (printed book)

24% off

Shulph Ink

Juristische Methoden fur Dummies

TExES Computer Science 8-12 (241) Secrets Study Guide

44% off

Mometrix Test Preparation

TExES Computer Science 8-12 (241) Secrets Study Guide (ebook access)

(1)

17% off

Shulph Ink

Reviews And Advances In Functional Materials

11% off

Shulph Ink

Understanding Quantitative Data in Educational Research

Design a Power Park: Smart Circuits Book 2 - Shop 4-H

Shop 4-H

Design a Power Park: Smart Circuits Book 2 Digital Download

Introduction To Programming With Java A Problem Solving Approach 2Nd Edition

GIFTSQUALITY LTD

Introduction To Programming With Java A Problem Solving Approach 2Nd Edition

17% off

Shulph Ink

Software Technologies: 16th International Conference, ICSOFT 2021, Virtual Event, July 6-8, 2021, Revised Selected Papers

Elektor

The Book of 555 Timer Projects (E-book)

(2)

Logic Analyzers in Practice (E - book) - Elektor

Elektor

Logic Analyzers in Practice (E-book)

MindTap for Farrell's Java Programming, 1 term Instant Access

St. John's University Queens Campus Bookstore

MindTap for Farrell's Java Programming, 1 term Instant Access

17% off

Shulph Ink

A Comprehensive Approach to Digital Manufacturing

17% off

Shulph Ink

Value Sets for EQ-5D-5L: A Compendium, Comparative Review & User Guide

Numerical Methods for Engineers 8th Steven C. Chapra

GIFTSQUALITY LTD

(eBook PDF) Numerical Methods for Engineers 8th Steven C. Chapra

ROH Student Workbook - Manuscript

Logic Of English

Rhythm of Handwriting Student Book - Manuscript

(2)

6% off

Shulph Ink

Analytical Methods for Milk and Milk Products: 3-volume set

28% off

Shulph Ink

Salesforce For Dummies

23% off

Shulph Ink

Principles of Welding: Processes, Physics, Chemistry, and Metallurgy

Analyst's Bookshop

E-book: Analyst's Guide to Indicators

Invitation To Computer Science 8Th Edition

GIFTSQUALITY LTD

Invitation To Computer Science 8Th Edition

Rohith

Algorithms Simplified Hardcover Book

5% off

Shulph Ink

Post-Shrinkage Strategies in Statistical and Machine Learning for High Dimensional Data

GIFTSQUALITY LTD

Java Programming 10th Edition

5% off

Shulph Ink

A Complete Guide to the Level 4 Certificate in Education and Training

Digital Book L2

WELDING IN 24 HOURS

5% off

Shulph Ink

Emotional Intelligence in the Digital Era: Concepts, Frameworks, and Applications

5% off

Shulph Ink

Teaching Translation: Contexts, Modes and Technologies

Arduino – Circuits & Projects Guide (E - book) - Elektor

Elektor

Arduino – Circuits & Projects Guide (E-book)

MATLAB Programming for Engineers, 6th Edition

GIFTSQUALITY LTD

(eBook PDF) MATLAB Programming for Engineers, 6th Edition

ROH Student Workbook - Cursive

Logic Of English

Rhythm of Handwriting Student Book - Cursive

(3)

MTEL Digital Literacy and Computer Science (71) Secrets Study Guide

38% off

Mometrix Test Preparation

MTEL Digital Literacy and Computer Science (71) Secrets Study Guide (printed book)

17% off

Shulph Ink

Non-invasive and Non-destructive Methods for Food Integrity

Mathematical Structures For Computer Science 7Th Edition

GIFTSQUALITY LTD

Mathematical Structures For Computer Science 7Th Edition

Digital Design With An Introduction To The Verilog Hdl Vhdl And Systemverilog

GIFTSQUALITY LTD

Digital Design With An Introduction To The Verilog Hdl Vhdl And Systemverilog

17% off

Shulph Ink

Construction Safety: Economics and Informatics Perspectives

6% off

Shulph Ink

Safety in Industry: Learn from Experience

Data Structures and Algorithms in Java, 6th Edition: International Student Version

GIFTSQUALITY LTD

Data Structures and Algorithms in Java, 6th Edition: International Student Version

Programming Electronics Academy

Kit-on-a-Shield Learning System: The Manual

6% off

Shulph Ink

An Image Processing Tour of College Mathematics

6% off

Shulph Ink

The Routledge Handbook of Second Language Acquisition and Speaking

12% off

Shulph Ink

Surplus-Enjoyment: A Guide For The Non-Perplexed

Systems Analysis and Design An Object-Oriented Approach with UML 5th Edition

GIFTSQUALITY LTD

(eBook PDF) Systems Analysis and Design An Object-Oriented Approach with UML 5th Edition

6% off

Shulph Ink

Cognitive Security for Industrial IoT: AI-Driven Approaches to Industry 4.0

SDR Hands - on Book (E - book) - Elektor

Elektor

SDR Hands-on Book (E-book)

Programming the Finite State Machine (E - book) - Elektor

Elektor

Programming the Finite State Machine (E-book)

GACE Computer Science (725) Secrets Study Guide

41% off

Mometrix Test Preparation

GACE Computer Science (725) Secrets Study Guide (printed book)

Visual Basic for Electronics Engineering Applications (E - book) - Elektor

Elektor

Visual Basic for Electronics Engineering Applications (E-book)

books4people

KS2 Year 3 Daily Practice Book Autumn Term 3 Books Collection Set: Maths, Mental Maths, Handwriting

Starting Out with Java From Control Structures through Objects, 7th Edition

GIFTSQUALITY LTD

(eBook PDF) Starting Out with Java From Control Structures through Objects, 7th Edition

15% off

Shulph Ink

Handbook of Metrology and Applications

$1,417.00$1,668.00

Objects First With Java A Practical Introduction Using Bluej 6Th Edition

GIFTSQUALITY LTD

Objects First With Java A Practical Introduction Using Bluej 6Th Edition

17% off

Shulph Ink

City Information Modelling

Elektor

Learning Digital Electronics (E-book)

TExES Computer Science 8-12 (241) Secrets Study Guide

38% off

Mometrix Test Preparation

TExES Computer Science 8-12 (241) Secrets Study Guide (printed book)

38% off

Mometrix Test Preparation

Certified Coding Specialist Exam Secrets Study Guide (printed book)

Introduction To The Design Analysis Of Algorithms 3Rd Edition

GIFTSQUALITY LTD

Introduction To The Design Analysis Of Algorithms 3Rd Edition

17% off

Shulph Ink

Recent Advances in Metrology: Select Proceedings of AdMet 2021

Rohith

Computing Simplified Hardcover Book

Introduction to Algorithms 4th Edition by Thomas H. Cormen

GIFTSQUALITY LTD

(eBook PDF) Introduction to Algorithms 4th Edition by Thomas H. Cormen

45% off

Mometrix Test Preparation

Certified Coding Specialist Exam Secrets Study Guide (ebook access)

(2)

Fundamentals of Digital Logic with Verilog Design - 3rd Edition

GIFTSQUALITY LTD

Fundamentals of Digital Logic with Verilog Design - 3rd Edition

Experiments with Digital Electronics (E - book) - Elektor

Elektor

Experiments with Digital Electronics (E-book)

(1)

47% off

Shulph Ink

The Birth of Computer Vision

Java How To Program Early Objects 11Th Edition

GIFTSQUALITY LTD

Java How To Program Early Objects 11Th Edition

Programming Electronics Academy

Arduino Reference: A Print Reference for Arduino Programmers

30% off

Shulph Ink

OCP Java SE 17 Developer Certification Kit: Exam 1Z0-829

Elektor

Object-Oriented PLC Programming in CODESYS (E-book)

11% off

Shulph Ink

Oral Bioavailability and Drug Delivery: From Basics to Advanced Concepts and Applications

SOLIDWORKS 2026 and Engineering Graphics

Exclusive offer available

ThinkEDU

SOLIDWORKS 2026 and Engineering Graphics: An Integrated Approach

Edtechs

Rugged Robot Activities Book

Essential Discrete Mathematics for Computer Science

Ingram Academic & Professional

Essential Discrete Mathematics for Computer Science

RHIT Exam Practice Questions

38% off

Mometrix Test Preparation

RHIT Exam Practice Questions (printed book)

СУНДУЧОК ДЕТСКИХ КНИГ

Тетрадь «Логика и программирование, 9-10 лет»

Inside an Open - Source Processor (E - book) - Elektor

Elektor

Inside an Open-Source Processor (E-book)

LAD Bookstore

How to Model It Problem Solving For The Computer Age

Hands-on exercises build practical runtime verification skills for Java developers
Covers object-oriented, aspect-oriented, automata, regular expressions, and linear time temporal logic
Progressive learning path from basic programming to advanced specification abstraction
Real-world case studies and integration with testing and architectural considerations
Each chapter includes a reading list for further exploration

Summarized by Shop

This book provides a hands-on introduction to runtime verification, guiding readers from zero to practical knowledge required to consider and apply it in industry. It covers basic programming skills, object-oriented paradigm, aspect-oriented programming, automata, regular expressions, and linear time temporal logic, and is written for gra

Format: Paperback Softback
Length: 205 pages
Publication Date: 13 July 2022
Publisher: Springer International Publishing AG
Weight: 346 g
Dimensions: 155 x 234 x 15 mm
ISBN-13: 9783031092664
Edition: 1st ed

Summarized by Shop

Shulph Ink

Shulph Ink

4.9 (288)