This is our Philippines store.

Looks like you're in United States. You need a Philippines address to shop on our Philippines store. Go to our United States store to continue.

Choose another store Go to United States Store Go to United States Store Choose another store

Lectures on Runtime Verification - Introductory and Advanced Topics eBook by

Lectures on Runtime Verification

Introductory and Advanced Topics

Ezio Bartocci,Yliès Falcone

Computer Science (R0)

Synopsis

Categories

About this book

Language:English
ISBN:9783319756325
Release date:Feb 10, 2018
Publisher:Springer International Publishing

Imprint:Springer
File format:EPUB2
File size:2.58 MB
Download options:EPUB2 (Adobe DRM)

In this series

Formal Methods in Outer Space - eBook by Ezio Bartocci,Yliès Falcone,Martin Leucker

Formal Methods in Outer Space

Ezio Bartocci,Yliès Falcone,Martin Leucker

From Reactive Systems to Cyber-Physical Systems - eBook by Ezio Bartocci,Rance Cleaveland,Radu Grosu,Oleg Sokolsky

From Reactive Systems to Cyber-Physical Systems

Ezio Bartocci,Rance Cleaveland,Radu Grosu,Oleg Sokolsky