Runtime Verification

General Books

School Books

Stationery

Menu

Sign In / Up

Sign in to your account or register new one to have full control over your orders, receive bonuses and more.

Sign In

New customer? Register

0 Cart

Subtotal: 0.00

Total Items In Cart:

View Cart

Sign In / Up

Home
Pre-orders
Book Subscription
General Books
Childrens Books
Non-Fiction
Primary School Books
Secondary School Books
- Junior Cert
  - Business
  - CSPE
  - English
  - French
  - Geography
  - German
  - History
  - Home Economics
  - Irish
  - Math
  - Music
  - PE Junior
  - Science
  - Sphe
  - Spanish
  - Technology & Graphics
- Senior Cert
  - Art
  - Biology
  - Business, Acc. & Economics
  - Chemistry
  - English
  - French
  - Geography
  - German
  - History
  - Home Economics
  - Irish
  - Math
  - Music
  - PE
  - Physics
  - Politics & Society
  - Sphe
  - Spanish
  - Contstruction, DCG & Technology
- Transition Year Books
- Novels
- Plays
- Secondary Irish Books
- Career Guidance
- Secondary School General
Exam Preparation
Stationery
School Book Lists
- Primary School books Lists
- Secondary School books Lists
Help

General Books

School Books

Stationery

Home
General Books
- Popular in Books
- Non-Fiction
- Children Books
Children's Books
Primary School Books
Secondary School Books
Join our Mailing List
Book Subscription
Blog
Help
- Help
- Kildare
- Maynooth University Bookshop

0 Cart

Subtotal: 0.00

Total Items In Cart:

View Cart

General Book Search for "9783031171956"

General Books
School Books

Author : Thao Dang,Volker Stolz
Paperback
Published : Saturday 24 September 2022
ISBN : 9783031171956
Price : €70.19

Description

This book constitutes the refereed proceedings of the 22nd International Conference on Runtime Verification, RV 2022, held in Tbilisi, Georgia, during September 28-30, 2022. The 12 regular papers and 10 short papers presented in this book were carefully reviewed and selected from 40 submissions.